@rustlang @seanmonstar Please explain to me why `match enum {}` on an empty enum is not only allowed, but type inference will coerce it into whatever type the context calls for. https://github.com/seanmonstar/warp/blob/master/src/never.rs#L9 … black magic! is the goal "this type should never be instantiated or exec'ed"?
The compiler is able to determine that no value of the enum could ever be created, and thus those expressions can just be eliminated entirely.