Function local_hazard_violation_with 

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