Skip to main content

free_region_outlives

rapx::verify::vm::region

Function free_region_outlives 

Source 
fn free_region_outlives<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    src: Region<'tcx>,
    ret: Region<'tcx>,
) -> bool
Expand description

Consult the function’s declared outlives constraints (where-clauses) via rustc’s FreeRegionMap, which records 'a: 'b bounds and their transitive closure. sub_free_regions(r_a, r_b) tests r_a <= r_b (i.e. r_b: r_a), so src: ret is sub_free_regions(ret, src).