let-else-check.rs

#![feature(let_else)]

#![deny(unused_variables)]

fn main() {
    // type annotation, attributes
    #[allow(unused_variables)]
    let Some(_): Option<u32> = Some(Default::default()) else {
        let x = 1; // OK
        return;
    };

    let x = 1; //~ ERROR unused variable: `x`
}