about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2024-05-27 20:43:26 +0200
committerGitHub <noreply@github.com>2024-05-27 20:43:26 +0200
commit61f9d3579818fe3f9864cb81aca0f723215ab458 (patch)
tree36a93eeb5c6279e57c972d72b2da0d40a10c5d5c /src
parente8dd585dd8c81fbc5cab31a10d67adba91593d8d (diff)
parent7d24f8706823e2f56f42ab7597f50d1b679f0eea (diff)
Rollup merge of #125616 - RalfJung:mir-validate-downcast-projection, r=compiler-errors
MIR validation: ensure that downcast projection is followed by field projection

Cc https://github.com/rust-lang/rust/issues/120369
Diffstat (limited to 'src')
-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.