Skip to main content

alias_proved_for_param_local_from_origin

rapx::verify::alias_hazard

Function alias_proved_for_param_local_from_origin 

Source 
pub fn alias_proved_for_param_local_from_origin(
    tcx: TyCtxt<'_>,
    caller: DefId,
    origin: &PlaceKey,
    kind: HazardKind,
) -> HazardCheck