summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/extra-const-ub/issue-100771.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/extra-const-ub/issue-100771.rs')
-rw-r--r--src/test/ui/consts/extra-const-ub/issue-100771.rs20
1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/ui/consts/extra-const-ub/issue-100771.rs b/src/test/ui/consts/extra-const-ub/issue-100771.rs
new file mode 100644
index 000000000..a32960328
--- /dev/null
+++ b/src/test/ui/consts/extra-const-ub/issue-100771.rs
@@ -0,0 +1,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!(),
+ }
+}