Struct MirParamBinding

pub struct MirParamBinding<'a> {
    pub index: usize,
    pub local_id: MirLocalId,
    pub mode: MirOwnershipMode,
    pub local: &'a LocalInfo,
}

Shared parameter query object used by lowering and backends.

Fields

index: usize

Positional parameter index in the source signature.

local_id: MirLocalId

MIR local receiving the parameter.

mode: MirOwnershipMode

Source ownership mode for the parameter.

local: &'a LocalInfo

Local metadata recorded for the parameter.

Implementations

impl<'a> MirParamBinding<'a>

pub fn expects_view(self) -> bool

Return whether the parameter expects read-only view access.

pub fn expects_mut_borrow(self) -> bool

Return whether the parameter expects mutable borrow access.

pub fn expects_owned(self) -> bool

Return whether the parameter expects owned value access.

pub fn semantic_ty(self) -> &'a Ty

Return the semantic item type exposed at the source-language boundary.

pub fn source_repr(self) -> MirLocalRepr

Return the source-language representation expected at the function boundary.

pub fn local_repr(self) -> MirLocalRepr

Return the lowered storage/runtime representation of the parameter local.

pub fn requires_materialization(self) -> bool

Return whether the lowered local needs materialization from the source boundary shape.

pub fn materializes_view_from_owned(self) -> bool

Return whether this binding is the view-from-owned materialization case.

Trait Implementations

impl<'a> Clone for MirParamBinding<'a>

fn clone(&self) -> MirParamBinding<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for MirParamBinding<'a>

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

Formats the value using the given formatter.

impl<'a> Copy for MirParamBinding<'a>