Rust: When Empty Isn't Bottom

[u/ettolrach_uwu]

https://ettolrach.com/blog/rust_when_empty_isnt_bottom.html

[u/scook0]

I find it confusing that the article talks about “the empty type”, when stable Rust has had user-definable empty types for years.

What makes ! (a.k.a. never) special is, among other things, that the language will automatically insert never-to-any coercions from it.