Ok so can anyone explain to me why anyone should care about the semantics of `match never { x => { ... } }`? Isn't the match dead code?
-
TL;DR: match (!,) {} should compile and evaluating it should be UB making it the same as match ! {}
-
-
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.
- 2 more replies
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.