Searched refs:outlived_region (Results 1 – 3 of 3) sorted by relevance
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_typeck/src/outlives/ |
| H A D | utils.rs | 18 outlived_region: Region<'tcx>, in insert_outlives_predicate()
24 if !is_free_region(tcx, outlived_region) { in insert_outlives_predicate()
57 outlived_region, in insert_outlives_predicate()
79 .entry(ty::OutlivesPredicate(ty.into(), outlived_region)) in insert_outlives_predicate()
95 .entry(ty::OutlivesPredicate(ty.into(), outlived_region)) in insert_outlives_predicate()
125 required_predicates.entry(ty::OutlivesPredicate(kind, outlived_region)).or_insert(span); in insert_outlives_predicate()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_borrowck/src/diagnostics/ |
| H A D | explain_borrow.rs | 307 outlived_region: RegionVid, in free_region_constraint_info()
314 |r| self.regioncx.provides_universal_region(r, borrow_region, outlived_region), in free_region_constraint_info()
317 let outlived_fr_name = self.give_region_a_name(outlived_region); in free_region_constraint_info()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_borrowck/src/region_infer/ |
| H A D | mod.rs | 2240 let outlived_region = closure_mapping[outlives_requirement.outlived_free_region]; in apply_requirements() localVariable
2249 region, outlived_region, outlives_requirement, in apply_requirements()
2251 ty::Binder::dummy(ty::OutlivesPredicate(region.into(), outlived_region)) in apply_requirements()
2259 ty, outlived_region, outlives_requirement, in apply_requirements()
2261 ty::Binder::dummy(ty::OutlivesPredicate(ty.into(), outlived_region)) in apply_requirements()
|