about summary refs log tree commit diff
path: root/src/tools/miri/tests
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2024-05-27 15:28:51 +0200
committerRalf Jung <post@ralfj.de>2024-05-27 16:32:12 +0200
commit7d24f8706823e2f56f42ab7597f50d1b679f0eea (patch)
tree70419969f1d04ce3dc31c1c73db3148b9900f484 /src/tools/miri/tests
parentcdc509f7c09361466d543fc8311ce7066b10cc4f (diff)
downloadrust-7d24f8706823e2f56f42ab7597f50d1b679f0eea.tar.gz
rust-7d24f8706823e2f56f42ab7597f50d1b679f0eea.zip
MIR validation: ensure that downcast projection is followed by field projection
Diffstat (limited to 'src/tools/miri/tests')
-rw-r--r--src/tools/miri/tests/panic/mir-validation.stderr2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/tests/panic/mir-validation.stderr b/src/tools/miri/tests/panic/mir-validation.stderr
index d5dd53d7b4e..534e2d5881f 100644
--- a/src/tools/miri/tests/panic/mir-validation.stderr
+++ b/src/tools/miri/tests/panic/mir-validation.stderr
@@ -1,6 +1,6 @@
 thread 'rustc' panicked at compiler/rustc_mir_transform/src/validate.rs:LL:CC:
 broken MIR in Item(DefId) (after phase change to runtime-optimized) at bb0[1]:
-(*(_2.0: *mut i32)), has deref at the wrong place
+place (*(_2.0: *mut i32)) has deref as a later projection (it is only permitted as the first projection)
 stack backtrace:
 
 error: the compiler unexpectedly panicked. this is a bug.