local_hazard_violation

rapx::verify::smt_check::alias

Function local_hazard_violation 

Source 
fn local_hazard_violation<'tcx>(
    tcx: TyCtxt<'tcx>,
    caller: DefId,
    call_block: BasicBlock,
    destination: Option<Local>,
    origins: &[PlaceKey],
    kind: HazardKind,
) -> Option<String>