Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 24 insertions, 0 deletions

diff --git a/src/test/ui/const-generics/issues/issue-61422.rs b/src/test/ui/const-generics/issues/issue-61422.rs
new file mode 100644
index 000000000..0b9cf40d8
--- /dev/null
+++ b/src/test/ui/const-generics/issues/issue-61422.rs
@@ -0,0 +1,24 @@
+// check-pass
+use std::mem;
+
+// Neither of the uninits below are currently accepted as not UB, however,
+// this code does not run and is merely checking that we do not ICE on this pattern,
+// so this is fine.
+
+fn foo<const SIZE: usize>() {
+    let arr: [u8; SIZE] = unsafe {
+        #[allow(deprecated)]
+        let array: [u8; SIZE] = mem::uninitialized();
+        array
+    };
+}
+
+fn bar<const SIZE: usize>() {
+    let arr: [u8; SIZE] = unsafe {
+        let array: [u8; SIZE] = mem::MaybeUninit::uninit().assume_init();
+        array
+    };
+}
+
+
+fn main() {}