diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2025-01-18 22:09:19 +0000 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2025-01-18 22:09:35 +0000 |
| commit | 122a55bb442bd1995df9cf9b36e6f65ed3ef4a1d (patch) | |
| tree | fb767afc334273592893acccd71c2ba8e4903fae /compiler/rustc_mir_transform/src/validate.rs | |
| parent | 0bb4880581a6963e0b895f9550e9147c68b9537a (diff) | |
| download | rust-122a55bb442bd1995df9cf9b36e6f65ed3ef4a1d.tar.gz rust-122a55bb442bd1995df9cf9b36e6f65ed3ef4a1d.zip | |
Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=davidtwco,RalfJung"
This reverts commit b57d93d8b9525fa261404b4cd9c0670eeb1264b8, reversing changes made to 0aeaa5eb22180fdf12a8489e63c4daa18da6f236.
Diffstat (limited to 'compiler/rustc_mir_transform/src/validate.rs')
| -rw-r--r-- | compiler/rustc_mir_transform/src/validate.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler/rustc_mir_transform/src/validate.rs b/compiler/rustc_mir_transform/src/validate.rs index 42154bbf7f2..b62e34ac08d 100644 --- a/compiler/rustc_mir_transform/src/validate.rs +++ b/compiler/rustc_mir_transform/src/validate.rs @@ -1124,6 +1124,14 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> { ); } UnOp::PtrMetadata => { + if !matches!(self.body.phase, MirPhase::Runtime(_)) { + // It would probably be fine to support this in earlier phases, but at + // the time of writing it's only ever introduced from intrinsic + // lowering or other runtime-phase optimization passes, so earlier + // things can just `bug!` on it. + self.fail(location, "PtrMetadata should be in runtime MIR only"); + } + check_kinds!( a, "Cannot PtrMetadata non-pointer non-reference type {:?}", |
