1 #![deny(unreachable_code)]
4 #![feature(never_type)]
7 // Explicit matches on the never type are unwarned.
9 // But matches in unreachable code are warned.
10 match x {} //~ ERROR unreachable expression
15 () => () //~ ERROR unreachable arm
21 match () { //~ ERROR unreachable expression