src/librustc_mir/borrow_check/nll/renumber.rs

   1 use rustc::ty::subst::SubstsRef;
   2 use rustc::ty::{self, ClosureSubsts, GeneratorSubsts, Ty, TypeFoldable};
   3 use rustc::mir::{Location, Mir};
   4 use rustc::mir::visit::{MutVisitor, TyContext};
   5 use rustc::infer::{InferCtxt, NLLRegionVariableOrigin};
   6
   7 /// Replaces all free regions appearing in the MIR with fresh
   8 /// inference variables, returning the number of variables created.
   9 pub fn renumber_mir<'tcx>(infcx: &InferCtxt<'_, '_, 'tcx>, mir: &mut Mir<'tcx>) {
  10     debug!("renumber_mir()");
  11     debug!("renumber_mir: mir.arg_count={:?}", mir.arg_count);
  12
  13     let mut visitor = NLLVisitor { infcx };
  14     visitor.visit_mir(mir);
  15 }
  16
  17 /// Replaces all regions appearing in `value` with fresh inference
  18 /// variables.
  19 pub fn renumber_regions<'tcx, T>(
  20     infcx: &InferCtxt<'_, '_, 'tcx>,
  21     value: &T,
  22 ) -> T
  23 where
  24     T: TypeFoldable<'tcx>,
  25 {
  26     debug!("renumber_regions(value={:?})", value);
  27
  28     infcx
  29         .tcx
  30         .fold_regions(value, &mut false, |_region, _depth| {
  31             let origin = NLLRegionVariableOrigin::Existential;
  32             infcx.next_nll_region_var(origin)
  33         })
  34 }
  35
  36 struct NLLVisitor<'a, 'gcx: 'a + 'tcx, 'tcx: 'a> {
  37     infcx: &'a InferCtxt<'a, 'gcx, 'tcx>,
  38 }
  39
  40 impl<'a, 'gcx, 'tcx> NLLVisitor<'a, 'gcx, 'tcx> {
  41     fn renumber_regions<T>(&mut self, value: &T) -> T
  42     where
  43         T: TypeFoldable<'tcx>,
  44     {
  45         renumber_regions(self.infcx, value)
  46     }
  47 }
  48
  49 impl<'a, 'gcx, 'tcx> MutVisitor<'tcx> for NLLVisitor<'a, 'gcx, 'tcx> {
  50     fn visit_ty(&mut self, ty: &mut Ty<'tcx>, ty_context: TyContext) {
  51         debug!("visit_ty(ty={:?}, ty_context={:?})", ty, ty_context);
  52
  53         *ty = self.renumber_regions(ty);
  54
  55         debug!("visit_ty: ty={:?}", ty);
  56     }
  57
  58     fn visit_substs(&mut self, substs: &mut SubstsRef<'tcx>, location: Location) {
  59         debug!("visit_substs(substs={:?}, location={:?})", substs, location);
  60
  61         *substs = self.renumber_regions(&{ *substs });
  62
  63         debug!("visit_substs: substs={:?}", substs);
  64     }
  65
  66     fn visit_region(&mut self, region: &mut ty::Region<'tcx>, location: Location) {
  67         debug!("visit_region(region={:?}, location={:?})", region, location);
  68
  69         let old_region = *region;
  70         *region = self.renumber_regions(&old_region);
  71
  72         debug!("visit_region: region={:?}", region);
  73     }
  74
  75     fn visit_const(&mut self, constant: &mut &'tcx ty::LazyConst<'tcx>, _location: Location) {
  76         *constant = self.renumber_regions(&*constant);
  77     }
  78
  79     fn visit_generator_substs(&mut self,
  80                               substs: &mut GeneratorSubsts<'tcx>,
  81                               location: Location) {
  82         debug!(
  83             "visit_generator_substs(substs={:?}, location={:?})",
  84             substs,
  85             location,
  86         );
  87
  88         *substs = self.renumber_regions(substs);
  89
  90         debug!("visit_generator_substs: substs={:?}", substs);
  91     }
  92
  93     fn visit_closure_substs(&mut self, substs: &mut ClosureSubsts<'tcx>, location: Location) {
  94         debug!(
  95             "visit_closure_substs(substs={:?}, location={:?})",
  96             substs,
  97             location
  98         );
  99
 100         *substs = self.renumber_regions(substs);
 101
 102         debug!("visit_closure_substs: substs={:?}", substs);
 103     }
 104 }