Ok so can anyone explain to me why anyone should care about the semantics of `match never { x => { ... } }`? Isn't the match dead code?
-
it seems like the actual question is just "is it ok to unify mem::uninitialized with Never", which seems like "obviously not"?
Yes, but that then raises questions about other types. Unsafe code has uninitialized all over.
-
-
I just don't see why this is a problem for stabilizing Never, then, if it's a problem for e.g. bool.
-
Some people want this answered before stabilizing I guess
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.