File tree 3 files changed +3
-5
lines changed
src/test/ui/consts/miri_unleashed
3 files changed +3
-5
lines changed Original file line number Diff line number Diff line change 4
4
5
5
use std:: cell:: UnsafeCell ;
6
6
7
- // this test ICEs to ensure that our mutability story is sound
7
+ // this test ensures that our mutability story is sound
8
8
9
9
struct Meh {
10
10
x : & ' static UnsafeCell < i32 > ,
Original file line number Diff line number Diff line change 1
1
// compile-flags: -Zunleash-the-miri-inside-of-you
2
2
3
- #![ feature( const_raw_ptr_deref) ]
4
- #![ feature( const_mut_refs) ]
5
3
#![ allow( const_err) ]
6
4
7
5
use std:: cell:: UnsafeCell ;
Original file line number Diff line number Diff line change 1
1
error: untyped pointers are not allowed in constant
2
- --> $DIR/raw_mutable_const.rs:9 :1
2
+ --> $DIR/raw_mutable_const.rs:7 :1
3
3
|
4
4
LL | const MUTABLE_BEHIND_RAW: *mut i32 = &UnsafeCell::new(42) as *const _ as *mut _;
5
5
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6
6
7
7
warning: skipping const checks
8
8
|
9
9
help: skipping check that does not even have a feature gate
10
- --> $DIR/raw_mutable_const.rs:9 :38
10
+ --> $DIR/raw_mutable_const.rs:7 :38
11
11
|
12
12
LL | const MUTABLE_BEHIND_RAW: *mut i32 = &UnsafeCell::new(42) as *const _ as *mut _;
13
13
| ^^^^^^^^^^^^^^^^^^^^
You can’t perform that action at this time.
0 commit comments