Open
Description
There seem to be two issues here:
pub enum Void {}
pub fn foo(x: Void) {
match x {
_ => {} // This arm shouldn't be permitted.
};
let _ = (); // This should be warned as unreachable, but isn't.
}
On the other hand, the following code does warn:
match () {
() => {} // okay
_ => {} // unreachable pattern
}