}
}
- fn accumulate_from_closure_ty(&mut self,
- ty: Ty<'tcx>,
- c: &ty::ClosureTy<'tcx>)
- {
- match c.store {
- ty::RegionTraitStore(r_b, _) => {
- self.push_region_constraint_from_top(r_b);
- }
- ty::UniqTraitStore => { }
- }
-
- let required_region_bounds =
- ty::object_region_bounds(self.tcx, None, c.bounds.builtin_bounds);
- self.accumulate_from_object_ty(ty, c.bounds.region_bound, required_region_bounds);
- }
-
fn accumulate_from_object_ty(&mut self,
ty: Ty<'tcx>,
region_bound: ty::Region,