Skip to main content

pre_existing_view_on_origin

rapx::verify::alias_hazard

Function pre_existing_view_on_origin 

Source 
fn pre_existing_view_on_origin(
    tcx: TyCtxt<'_>,
    caller: DefId,
    call_block: BasicBlock,
    reachable_after: &HashSet<BasicBlock>,
    origin_holders: &[PlaceKey],
) -> Option<String>