Struct CaptureInfo 

pub struct CaptureInfo {
    pub state: u32,
    pub symbol: SymbolId,
    pub hops: Vec<SymbolId>,
    pub name: String,
    pub ty: Ty,
}

A local of an inline constraint’s call site (LRM 18.7): its value is read when the call is made and is a constant of the solve.

Fields

state: u32

The state variable that stands for it (ConstraintSet::states).

symbol: SymbolId

The local’s key (for a member read through a local handle, the handle).

hops: Vec<SymbolId>

The members followed from the local handle Self::symbol to the captured value (o.lim in a call-site with { x < o.lim }, LRM 18.7: the whole read is one call-site constant); empty for the local itself.

name: String

Its name as written.

ty: Ty

Its type.

Trait Implementations

impl Clone for CaptureInfo

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CaptureInfo

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

Formats the value using the given formatter.

impl Eq for CaptureInfo

impl PartialEq for CaptureInfo

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for CaptureInfo