As a fan of the Curry-Howard correspondence, I approve of this decision.
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#...
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#...