Rollup merge of #80298 - PankajChaudhary5:PankajChaudhary, r=GuillaumeGomez

[rust.git] / src / test / ui / pattern / usefulness / issue-3096-1.rs

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