Function local_hazard_violation 

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