//! When a closure syntactically captures a place, but doesn't actually capture
//! it, make sure MIR building doesn't ICE when handling that place.
//!
//! Under the Rust 2021 disjoint capture rules, this sort of non-capture can
//! occur when a place is only inspected by infallible non-binding patterns.

// FIXME(#135985): On its own, this test should probably just be check-pass.
// But there are few/no other tests that use non-binding array patterns and
// invoke the later parts of the compiler, so building/running has some value.

//@ run-pass
//@ edition:2021

#[expect(dead_code)]
struct Props {
    field_1: u32,
    field_2: u32,
}

fn main() {
    // Test 1
    let props_2 = Props { field_1: 1, field_2: 1 };

    let _ = || {
        let _: Props = props_2;
    };

    // Test 2
    let mut arr = [1, 3, 4, 5];

    let mref = &mut arr;

    // These array patterns don't need to inspect the array, so the array
    // isn't captured.
    let _c = || match arr {
        [_, _, _, _] => println!("C"),
    };
    let _d = || match arr {
        [_, .., _] => println!("D"),
    };
    let _e = || match arr {
        [_, ..] => println!("E"),
    };

    println!("{:#?}", mref);
}