Struct PlaceTranslation

pub struct PlaceTranslation<'a, 'tcx> {
    new_base: Place<'tcx>,
    additional_projection: &'tcx [PlaceElem<'tcx>],
    scope: &'a PlaceTranslator<'a, 'tcx>,
}

The result of calculating a translation from a child place (in a called function) to a parent place (in the caller).

This is partially translated and thus allows us to either complete the translation to a precise parent place (Self::make_translated_place), e.g. one that corresponds to the child 1-1, or to just use the parent place, for strategic overtaint, e.g. discarding the child projections (Self::base_place).

Fields

new_base: Place<'tcx>

additional_projection: &'tcx [PlaceElem<'tcx>]

scope: &'a PlaceTranslator<'a, 'tcx>

Implementations

impl<'tcx> PlaceTranslation<'_, 'tcx>

pub fn make_translated_place(&self) -> Place<'tcx>

Complete the translation and return a precise parent place.

pub fn base_place(&self) -> Place<'tcx>

Return the base version of the parent place with no child projections applied.