Skip to main content

escape_region_violation

rapx::verify::vm::alias

Function escape_region_violation 

Source 
fn escape_region_violation(
    tcx: TyCtxt<'_>,
    caller: DefId,
    local: usize,
) -> Option<String>
Expand description

Check whether the shared view’s claimed return region outlives the source reference local’s region. Returns a violation reason when it does.