transfer_field_assign

Function transfer_field_assign 

Source
pub fn transfer_field_assign<'tcx>(
    state: &mut AliasDomain,
    lv: Place<'tcx>,
    rv_base: Place<'tcx>,
    field_idx: usize,
    place_info: &PlaceInfo<'tcx>,
)
Expand description

Transfer function for field assignment: lv = rv.field