Skip to main content

alias_proved_for_param_local

rapx::verify::alias_hazard

Function alias_proved_for_param_local 

Source 
pub fn alias_proved_for_param_local(
    tcx: TyCtxt<'_>,
    caller: DefId,
    local_index: usize,
    kind: HazardKind,
) -> HazardCheck