diff options
| author | Michael Goulet <michael@errs.io> | 2025-01-19 22:13:00 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-01-27 23:42:47 +0000 |
| commit | 057313b7a607513d6c1aa82e454e2370025f3b9a (patch) | |
| tree | c8ebc7bdfe431a98b9c6e7dddef2f0e5644edd78 /compiler/rustc_mir_transform/src/validate.rs | |
| parent | 1cbb062e54e376abe8b6f146f64c0d849e30c476 (diff) | |
| download | rust-057313b7a607513d6c1aa82e454e2370025f3b9a.tar.gz rust-057313b7a607513d6c1aa82e454e2370025f3b9a.zip | |
Reapply "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=davidtwco,RalfJung"
This reverts commit 122a55bb442bd1995df9cf9b36e6f65ed3ef4a1d.
Diffstat (limited to 'compiler/rustc_mir_transform/src/validate.rs')
| -rw-r--r-- | compiler/rustc_mir_transform/src/validate.rs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/compiler/rustc_mir_transform/src/validate.rs b/compiler/rustc_mir_transform/src/validate.rs index 026923ad786..5881264cba5 100644 --- a/compiler/rustc_mir_transform/src/validate.rs +++ b/compiler/rustc_mir_transform/src/validate.rs @@ -1128,14 +1128,6 @@ 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 {:?}", |