Skip to content

Commit 2cb2559

Browse files
committed
Make PlaceRef lifetimes of in_projection be both 'tcx
1 parent a5d1e18 commit 2cb2559

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

src/librustc_mir/dataflow/move_paths/builder.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -483,7 +483,7 @@ impl<'b, 'a, 'tcx> Gatherer<'b, 'a, 'tcx> {
483483
self.builder.data.loc_map[self.loc].push(move_out);
484484
}
485485

486-
fn gather_init(&mut self, place: PlaceRef<'cx, 'tcx>, kind: InitKind) {
486+
fn gather_init(&mut self, place: PlaceRef<'tcx, 'tcx>, kind: InitKind) {
487487
debug!("gather_init({:?}, {:?})", self.loc, place);
488488

489489
let mut place = place;

src/librustc_mir/transform/check_consts/qualifs.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ pub trait Qualif {
3535
fn in_projection_structurally(
3636
cx: &ConstCx<'_, 'tcx>,
3737
per_local: &mut impl FnMut(Local) -> bool,
38-
place: PlaceRef<'_, 'tcx>,
38+
place: PlaceRef<'tcx, 'tcx>,
3939
) -> bool {
4040
if let [proj_base @ .., elem] = place.projection {
4141
let base_qualif = Self::in_place(
@@ -67,15 +67,15 @@ pub trait Qualif {
6767
fn in_projection(
6868
cx: &ConstCx<'_, 'tcx>,
6969
per_local: &mut impl FnMut(Local) -> bool,
70-
place: PlaceRef<'_, 'tcx>,
70+
place: PlaceRef<'tcx, 'tcx>,
7171
) -> bool {
7272
Self::in_projection_structurally(cx, per_local, place)
7373
}
7474

7575
fn in_place(
7676
cx: &ConstCx<'_, 'tcx>,
7777
per_local: &mut impl FnMut(Local) -> bool,
78-
place: PlaceRef<'_, 'tcx>,
78+
place: PlaceRef<'tcx, 'tcx>,
7979
) -> bool {
8080
match place {
8181
PlaceRef { local, projection: [] } => per_local(local),

0 commit comments

Comments
 (0)