#[derive(Clone)]
pub struct RegionObligation<'tcx> {
- pub sub_region: &'tcx ty::Region,
+ pub sub_region: ty::Region<'tcx>,
pub sup_type: Ty<'tcx>,
pub cause: ObligationCause<'tcx>,
}
pub fn register_region_obligation(&mut self,
t_a: Ty<'tcx>,
- r_b: &'tcx ty::Region,
+ r_b: ty::Region<'tcx>,
cause: ObligationCause<'tcx>)
{
register_region_obligation(t_a, r_b, cause, &mut self.region_obligations);
}
fn register_region_obligation<'tcx>(t_a: Ty<'tcx>,
- r_b: &'tcx ty::Region,
+ r_b: ty::Region<'tcx>,
cause: ObligationCause<'tcx>,
region_obligations: &mut NodeMap<Vec<RegionObligation<'tcx>>>)
{