Hacker News Reader

You’re going to hate when you learn that the never type is inhabited

I'm unclear what this is implying, but in Rust the never type is uninhabited. https://doc.rust-lang.org/reference/items/enumerations.html#...

In Rust, `loop {}` is an expression of type `!`, which means that from a type-theoretic perspective it is inhabited. This means that the Curry–Howard correspondence fails for Rust.

Perhaps it refers to PhantomData<!> but I don't know

Reply on news.ycombinator.com