Function places_conflict_for_assignment 

fn places_conflict_for_assignment<'tcx>(
    dest: Place<'tcx>,
    src: Place<'tcx>,
) -> bool

Checks whether reading src while assigning to dest would violate MIR’s non-overlap requirement for assignments.