diff options
| author | bors <bors@rust-lang.org> | 2023-06-27 00:34:49 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-06-27 00:34:49 +0000 |
| commit | b9ad9b78a2b67d59f19adf3fd06ecf2682ce56a0 (patch) | |
| tree | 8e6869376e8258aa0afbc89f49c3c70756a1cccf /compiler/rustc_mir_transform/src | |
| parent | 2a15bdaaa1e62a36ff2748939e2e134035f8ce6e (diff) | |
| parent | c07c10d1e424d01e61c5900ec0700dd4c3caadb6 (diff) | |
| download | rust-b9ad9b78a2b67d59f19adf3fd06ecf2682ce56a0.tar.gz rust-b9ad9b78a2b67d59f19adf3fd06ecf2682ce56a0.zip | |
Auto merge of #112693 - ericmarkmartin:use-more-placeref, r=spastorino
Use PlaceRef abstractions more often Associated issue: https://github.com/rust-lang/rust/issues/80647 r? `@spastorino`
Diffstat (limited to 'compiler/rustc_mir_transform/src')
| -rw-r--r-- | compiler/rustc_mir_transform/src/inline.rs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/compiler/rustc_mir_transform/src/inline.rs b/compiler/rustc_mir_transform/src/inline.rs index 703824f5bda..240beabfc1a 100644 --- a/compiler/rustc_mir_transform/src/inline.rs +++ b/compiler/rustc_mir_transform/src/inline.rs @@ -839,15 +839,13 @@ impl<'tcx> Visitor<'tcx> for CostChecker<'_, 'tcx> { /// to normalization failure. fn visit_projection_elem( &mut self, - local: Local, - proj_base: &[PlaceElem<'tcx>], + place_ref: PlaceRef<'tcx>, elem: PlaceElem<'tcx>, context: PlaceContext, location: Location, ) { if let ProjectionElem::Field(f, ty) = elem { - let parent = Place { local, projection: self.tcx.mk_place_elems(proj_base) }; - let parent_ty = parent.ty(&self.callee_body.local_decls, self.tcx); + let parent_ty = place_ref.ty(&self.callee_body.local_decls, self.tcx); let check_equal = |this: &mut Self, f_ty| { if !util::is_equal_up_to_subtyping(this.tcx, this.param_env, ty, f_ty) { trace!(?ty, ?f_ty); @@ -926,7 +924,7 @@ impl<'tcx> Visitor<'tcx> for CostChecker<'_, 'tcx> { } } - self.super_projection_elem(local, proj_base, elem, context, location); + self.super_projection_elem(place_ref, elem, context, location); } } |
