fn main() {
    match () { } //~ ERROR non-exhaustive
}