Struct ContractPlace 

pub(crate) struct ContractPlace<'tcx> {
    pub base: PlaceBase,
    pub projections: Vec<ContractProjection<'tcx>>,
}

A place a contract refers to: a PlaceBase root plus a sequence of ContractProjection steps into it (e.g. self.next.value, head.iter()).

Fields

base: PlaceBase

The root: return value, an argument, or a MIR local.

projections: Vec<ContractProjection<'tcx>>

Field / Some-unwrap / element steps from the base down.

Implementations

impl<'tcx> ContractPlace<'tcx>

pub(crate) fn display_user_friendly( &self, tcx: TyCtxt<'tcx>, struct_def_id: Option<DefId>, fn_def_id: Option<DefId>, ) -> String

impl<'tcx> ContractPlace<'tcx>

pub(crate) fn local(base: usize, fields: Vec<(usize, Ty<'tcx>)>) -> Self

pub(crate) fn arg(index: usize) -> Self

pub(crate) fn local_base(&self) -> Option<usize>

pub(crate) fn plain_field_path(&self) -> Option<Vec<usize>>

The field indices when this place is a pure Field chain (no Downcast / ForEach steps), otherwise None. Shared by the exec- and checker-side Len evaluators.

Trait Implementations

impl<'tcx> Clone for ContractPlace<'tcx>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for ContractPlace<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.