[Others]

If I'm understanding what you want correctly, Rust kinda will get that once the `!` type is stable/used in type inference correctly.