[dmkolobov]

On the more mainstream side of things, Typescript also has a bottom type called `never` which is used to type unreachable/exceptional code.

[saghm]

Rust has this too: https://doc.rust-lang.org/std/primitive.never.html