impl<'tcx, A: Lift<'tcx>, B: Lift<'tcx>> Lift<'tcx> for (A, B) {
type Lifted = (A::Lifted, B::Lifted);
fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted> {
- let (a, b) = self;
- tcx.lift(a).and_then(|a| tcx.lift(b).map(|b| (a, b)))
+ Some((tcx.lift(self.0)?, tcx.lift(self.1)?))
}
}
impl<'tcx, A: Lift<'tcx>, B: Lift<'tcx>, C: Lift<'tcx>> Lift<'tcx> for (A, B, C) {
type Lifted = (A::Lifted, B::Lifted, C::Lifted);
fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted> {
- let (a, b, c) = self;
- tcx.lift(a).and_then(|a| tcx.lift(b).and_then(|b| tcx.lift(c).map(|c| (a, b, c))))
+ Some((tcx.lift(self.0)?, tcx.lift(self.1)?, tcx.lift(self.2)?))
}
}
TerminatorKind::SwitchInt { ref discr, switch_ty: _, targets: _ } => {
self.consume_operand(loc, (discr, span), flow_state);
}
- TerminatorKind::Drop { place: ref drop_place, target: _, unwind: _ } => {
- let tcx = self.infcx.tcx;
-
- // Compute the type with accurate region information.
- let drop_place_ty = drop_place.ty(self.body, self.infcx.tcx);
-
- // Erase the regions.
- let drop_place_ty = self.infcx.tcx.erase_regions(&drop_place_ty).ty;
-
- // "Lift" into the tcx -- once regions are erased, this type should be in the
- // global arenas; this "lift" operation basically just asserts that is true, but
- // that is useful later.
- tcx.lift(drop_place_ty).unwrap();
-
+ TerminatorKind::Drop { place, target: _, unwind: _ } => {
debug!(
"visit_terminator_drop \
- loc: {:?} term: {:?} drop_place: {:?} drop_place_ty: {:?} span: {:?}",
- loc, term, drop_place, drop_place_ty, span
+ loc: {:?} term: {:?} place: {:?} span: {:?}",
+ loc, term, place, span
);
self.access_place(
loc,
- (*drop_place, span),
+ (place, span),
(AccessDepth::Drop, Write(WriteKind::StorageDeadOrDrop)),
LocalMutationIsAllowed::Yes,
flow_state,