src/test/ui/consts/extra-const-ub/issue-100771.rs


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

// check-pass
// compile-flags: -Zextra-const-ub-checks

#[derive(PartialEq, Eq, Copy, Clone)]
#[repr(packed)]
struct Foo {
    field: (i64, u32, u32, u32),
}

const FOO: Foo = Foo {
    field: (5, 6, 7, 8),
};

fn main() {
    match FOO {
        Foo { field: (5, 6, 7, 8) } => {},
        FOO => unreachable!(),
        _ => unreachable!(),
    }
}