Skip to main content

find_as_ptr_receivers

rapx::verify::alias_hazard

Function find_as_ptr_receivers 

Source 
fn find_as_ptr_receivers(
    tcx: TyCtxt<'_>,
    caller: DefId,
    origins: &[PlaceKey],
    aliases: &HashMap<Local, PlaceKey>,
    check_alias_dest: bool,
) -> Vec<PlaceKey>