I think Rust solved that pretty well, where no-return functions can be declared by letting it return the 'never' type: https://doc.rust-lang.org/std/primitive.

I think Rust solved that pretty well, where no-return functions can be declared by letting it return the 'never' type: https://doc.rust-lang.org/std/primitive.never.html https://doc.rust-lang.org/std/primitive.never.html There is no way where you can say: this function returns a string and is no-return.