Struct VarUsage

pub struct VarUsage {
    pub var_id: VariableId,
    pub location: LocationId,
}

Represents a usage of a variable.

For example if we have:

fn foo(a: u32) { 1 + a }

Then the right hand side of the tail expression 1 + a is a VarUsage object with the variable id of the variable a and the location: 1 + a ^ Note that the location associated with the variable that was assigned to ‘a’ is fn foo(a: u32) ^ and it is different from the location in the VarUsage.

The tail expression 1 + a is also going to be assigned a variable and a VarUsage. in that case, the location of both the variable and the usage will be the same.

Fields

var_id: VariableId

location: LocationId

Trait Implementations

impl Clone for VarUsage

fn clone(&self) -> VarUsage

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for VarUsage

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

Formats the value using the given formatter.

impl DebugWithDb<LoweredFormatter<'_>> for VarUsage

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

fn debug<'me, 'db>(&'me self, db: &'me Db) -> DebugWith<'me, Db>

where Self: Sized + 'me,

fn into_debug<'me, 'db>(self, db: &'me Db) -> DebugWith<'me, Db>

where Self: Sized + 'me,

impl PartialEq for VarUsage

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for VarUsage

impl Eq for VarUsage

impl StructuralPartialEq for VarUsage