src/test/ui/feature-gates/feature-gate-exhaustive-patterns.rs


1
2
3
4
5
6
7
8
9

#![feature(never_type)]

fn foo() -> Result<u32, !> {
    Ok(123)
}

fn main() {
    let Ok(_x) = foo(); //~ ERROR refutable pattern in local binding
}