Rust is going to make ! (which represents a function never returning) into a fully fledged type! https://github.com/rust-lang/rfcs/blob/master/text/1216-bang-type.md