diff options
| author | Maybe Waffle <waffle.lapkin@gmail.com> | 2023-05-09 12:42:39 +0000 |
|---|---|---|
| committer | Maybe Waffle <waffle.lapkin@gmail.com> | 2023-05-19 21:50:01 +0400 |
| commit | 140cdcbc9d50713143f8d1f2403d9044eb0a528f (patch) | |
| tree | f9990761b15623f718a38adf4ec8b45b2ed46741 /src/tools | |
| parent | f542778533f2f92c13822ec951c237d46d7a28ef (diff) | |
Drive-by-cleanup: Don't emit `thir::ExprKind::NeverToAny` for `! -> !`
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/tests/fail/never_say_never.rs | 6 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/never_say_never.stderr | 4 |
2 files changed, 4 insertions, 6 deletions
diff --git a/src/tools/miri/tests/fail/never_say_never.rs b/src/tools/miri/tests/fail/never_say_never.rs index f6d3dc790bf..fd082e367a8 100644 --- a/src/tools/miri/tests/fail/never_say_never.rs +++ b/src/tools/miri/tests/fail/never_say_never.rs @@ -6,10 +6,8 @@ fn main() { let y = &5; - let x: ! = unsafe { - *(y as *const _ as *const !) //~ ERROR: entering unreachable code - }; - f(x) + let x: ! = unsafe { *(y as *const _ as *const !) }; + f(x) //~ ERROR: entering unreachable code } fn f(x: !) -> ! { diff --git a/src/tools/miri/tests/fail/never_say_never.stderr b/src/tools/miri/tests/fail/never_say_never.stderr index a2a63b8baf5..9d3a8df525a 100644 --- a/src/tools/miri/tests/fail/never_say_never.stderr +++ b/src/tools/miri/tests/fail/never_say_never.stderr @@ -1,8 +1,8 @@ error: Undefined Behavior: entering unreachable code --> $DIR/never_say_never.rs:LL:CC | -LL | *(y as *const _ as *const !) - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ entering unreachable code +LL | f(x) + | ^^^^ entering unreachable code | = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information |