tests/ui/closures/thir-unsafeck-issue-85871.rs


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

// Tests that no ICE occurs when a closure appears inside a node
// that does not have a body when compiling with
// compile-flags: -Zthir-unsafeck=yes
// check-pass

#![allow(dead_code)]

struct Bug {
    inner: [(); match || 1 {
        _n => 42, // we may not call the closure here (E0015)
    }],
}

enum E {
    V([(); { let _ = || 1; 42 }]),
}

type Ty = [(); { let _ = || 1; 42 }];

fn main() {}