In a function declaration the return type is specified after the -> It should be clear form the name of the function the intention is to never return. What type should such a function have?

It's the "never" type, see https://doc.rust-lang.org/reference/types/never.html