Struct PlaceTranslator

pub struct PlaceTranslator<'a, 'tcx> {
    async_info: &'a AsyncInfo,
    parent_body_def_id: DefId,
    parent_body: &'a Body<'tcx>,
    tcx: TyCtxt<'tcx>,
    destination: Place<'tcx>,
    calling_convention: &'a CallingConvention<'tcx>,
    precise: bool,
}

This struct represents all the information necessary to translate places from a child (the callee) to its parent (caller) at the boundary of a particular function call.

Fields

async_info: &'a AsyncInfo

parent_body_def_id: DefId

parent_body: &'a Body<'tcx>

tcx: TyCtxt<'tcx>

destination: Place<'tcx>

calling_convention: &'a CallingConvention<'tcx>

precise: bool

Governs whether the translation produces precise results (1-1 child-parent translations) or approximate one’s (discarding child projections).

Implementations

impl<'a, 'tcx> PlaceTranslator<'a, 'tcx>

pub(crate) fn new( async_info: &'a AsyncInfo, parent_body_def_id: DefId, parent_body: &'a Body<'tcx>, tcx: TyCtxt<'tcx>, destination: Place<'tcx>, calling_convention: &'a CallingConvention<'tcx>, precise: bool, ) -> Self

destination must be the place to which the return is assigned in the parent (caller).

The precise parameter governs whether the translation produces precise results (1-1 child-parent translations) or approximate one’s (discarding child projections).

pub(crate) fn translate_to_parent( &self, child: Place<'tcx>, ) -> Option<Place<'tcx>>

Returns a fully translated parent place. If self.precise == true this place will be a precise 1-1 translation, otherwise just the base parent place.

Returns None if the input child cannot be represented in the parent.

pub(crate) fn handle_translate<'b>( &'b self, child: Place<'tcx>, ) -> Option<PlaceTranslation<'b, 'tcx>>

Returns a calculated translation that needs to be finished.

Returns None if the input child cannot be represented in the parent.