Function sync_fields 

pub fn sync_fields<'tcx>(
    state: &mut AliasDomain,
    lv: &PlaceId,
    rv: &PlaceId,
    place_info: &PlaceInfo<'tcx>,
)

Synchronize field aliases If lv and rv are aliased, ensure all their corresponding fields are also aliased