3 ms·
I think this is right, but I don't think the never type is stable.
by nemothekid 7y ago
I think this is right, but I don't think the never type is stable.
- kibwen 7y agoThe Never type should be stable in 1.41, I believe.
- NieDzejkob 7y agoI checked, and you seem to be right. It feels weird, considering all the jokes that "never is named after its stabilization date"
- monocasa 7y agoThe seamntics of ! is stable as far as I know. It being retconned into the Never type is the unstable bit.