1 files changed, 19 insertions, 0 deletions

diff --git a/src/test/ui/const-generics/issues/issue-67945-1.rs b/src/test/ui/const-generics/issues/issue-67945-1.rs
new file mode 100644
index 000000000..99f88bc8e
--- /dev/null
+++ b/src/test/ui/const-generics/issues/issue-67945-1.rs
@@ -0,0 +1,19 @@
+// revisions: full min
+#![cfg_attr(full, allow(incomplete_features))]
+#![cfg_attr(full, feature(generic_const_exprs))]
+
+use std::mem::MaybeUninit;
+
+struct Bug<S> {
+    //[min]~^ ERROR parameter `S` is never used
+    A: [(); {
+        let x: S = MaybeUninit::uninit();
+        //[min]~^ ERROR generic parameters may not be used in const operations
+        //[full]~^^ ERROR mismatched types
+        let b = &*(&x as *const _ as *const S);
+        //[min]~^ ERROR generic parameters may not be used in const operations
+        0
+    }],
+}
+
+fn main() {}