mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove unused feature from a miri test

Browse Source
This commit is contained in:
Maybe Waffle 2023-10-26 00:46:56 +00:00
parent e36224118f
commit fe97fdf782
2 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tests/ui/consts/miri_unleashed/ptr_arith.rs
View File

@ -1,5 +1,4 @@
// compile-flags: -Zunleash-the-miri-inside-of-you // compile-flags: -Zunleash-the-miri-inside-of-you
#![feature(core_intrinsics)]
// During CTFE, we prevent pointer-to-int casts. // During CTFE, we prevent pointer-to-int casts.
// Pointer comparisons are prevented in the trait system. // Pointer comparisons are prevented in the trait system.

6
tests/ui/consts/miri_unleashed/ptr_arith.stderr
View File

@ -1,11 +1,11 @@
error[E0080]: could not evaluate static initializer error[E0080]: could not evaluate static initializer
--> $DIR/ptr_arith.rs:8:13 --> $DIR/ptr_arith.rs:7:13
| |
LL | let x = &0 as *const _ as usize; LL | let x = &0 as *const _ as usize;
| ^^^^^^^^^^^^^^^^^^^^^^^ exposing pointers is not possible at compile-time | ^^^^^^^^^^^^^^^^^^^^^^^ exposing pointers is not possible at compile-time
error[E0080]: could not evaluate static initializer error[E0080]: could not evaluate static initializer
--> $DIR/ptr_arith.rs:16:14 --> $DIR/ptr_arith.rs:15:14
| |
LL | let _v = x + 0; LL | let _v = x + 0;
| ^ unable to turn pointer into integer | ^ unable to turn pointer into integer
@ -16,7 +16,7 @@ LL | let _v = x + 0;
warning: skipping const checks warning: skipping const checks
| |
help: skipping check that does not even have a feature gate help: skipping check that does not even have a feature gate
--> $DIR/ptr_arith.rs:8:13 --> $DIR/ptr_arith.rs:7:13
| |
LL | let x = &0 as *const _ as usize; LL | let x = &0 as *const _ as usize;
| ^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^