Struct ContractPlace 

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

A place expression referenced by a contract.

Fields

base: PlaceBase

projections: Vec<ContractProjection<'tcx>>

Implementations

impl<'tcx> ContractPlace<'tcx>

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

Build a place from a concrete MIR local id and field sequence.

pub fn arg(index: usize) -> Self

Build a place from a contract argument reference such as Arg_1.

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

Return the concrete MIR local base when this place is already resolved.

pub fn field_indices(&self) -> Vec<usize>

Return field projection indices, dropping type metadata.

Trait Implementations

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

fn clone(&self) -> ContractPlace<'tcx>

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.