We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d0e6104 commit 3b0b09eCopy full SHA for 3b0b09e
src/tools/miri/tests/fail/unaligned_pointers/unaligned_ref_addr_of.rs
@@ -1,6 +1,8 @@
1
// This should fail even without Stacked Borrows.
2
//@compile-flags: -Zmiri-disable-stacked-borrows -Cdebug-assertions=no
3
4
+#![allow(invalid_reference_casting)] // for u16 -> u32
5
+
6
fn main() {
7
// Try many times as this might work by chance.
8
for _ in 0..20 {
0 commit comments