Ok so can anyone explain to me why anyone should care about the semantics of `match never { x => { ... } }`? Isn't the match dead code?
-
Main goal of static typing is to avoid UB. A construct guaranteed statically to result in UB should be rejected statically.
-
-
1. This example isn't about any unsafe code, 2. `unsafe` is irrelevant as far as this guideline goes.
-
insight from other subthread: some people have used Never* to repr C's void*, and then &Never to try to get more safety.
- 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.