Return has the ! type. It's a type with no values, similar to an enum without variants, like this:

    enum Never {
    }

Languages like OCaml, Haskell as well as Rust have types with no values (called uninhabited types)