Skip to main content

region_outlives

rapx::verify::vm::region

Function region_outlives 

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

Whether src outlives ret (src: ret).

'static and reflexivity are handled structurally; declared where-clauses ('a: 'b) are resolved via rustc’s FreeRegionMap (which also computes the transitive closure). Anything else is treated as not outlives.