Rust: When Empty Isn't Bottom
Summary
The article explains the difference between Rust's never type (!) and the empty/bottom types, and how Rust handles coercion involving !. It compares Rust with Scala, demonstrates with code examples, and clarifies common misconceptions about subtyping and type coercion.