4 ms·
I'm unclear what this is implying, but in Rust the never type is uninhabited. https://doc.rust-lang.org/reference/items/enumerations.html#r-items.enum.empty.uni
by kibwen 4d ago
I'm unclear what this is implying, but in Rust the never type is uninhabited. https://doc.rust-lang.org/reference/items/enumerations.html#r-items.enum.empty.uninhabited https://doc.rust-lang.org/reference/items/enumerations.html#...
- SabrinaJewson 3d agoIn 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.
- ratmice 4d agoPerhaps it refers to PhantomData<!> but I don't know