src/test/ui/closures/2229_closure_analysis/run_pass/issue-88372.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// edition:2021
// run-pass


fn solve<F>(validate: F) -> Option<u64>
where
    F: Fn(&mut [i8; 1]),
{
    let mut position: [i8; 1] = [1];
    Some(0).map(|_| {
        validate(&mut position);
        let [_x] = position;
        0
    })
}

fn main() {
    solve(|_| ());
}