Skip to content

Commit 236c7c0

Browse files
committed
Add test for uninit value with validity invariant in array
1 parent b7c1868 commit 236c7c0

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/test/ui/intrinsics/panic-uninitialized-zeroed.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -286,6 +286,7 @@ fn main() {
286286
let _val = mem::zeroed::<LR_NonZero>();
287287
let _val = mem::zeroed::<[LR_NonZero; 1]>();
288288
let _val = mem::zeroed::<[NonNull<()>; 1]>();
289+
let _val = mem::uninitialized::<[NonNull<()>; 1]>();
289290
}
290291
}
291292
}

0 commit comments

Comments
 (0)