Struct VarUsage 

pub struct VarUsage<'db> {
    pub var_id: VariableId,
    pub location: LocationId<'db>,
}

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<'db>

Trait Implementations

impl<'db> Clone for VarUsage<'db>

fn clone(&self) -> VarUsage<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for VarUsage<'db>

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

Formats the value using the given formatter.

impl<'db> DebugWithDb<'db> for VarUsage<'db>

type Db = LoweredFormatter<'db>

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

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

where Self: Sized + 'me,

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

where Self: Sized + 'me,

impl<'db> PartialEq for VarUsage<'db>

fn eq(&self, other: &VarUsage<'db>) -> 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<'db> Copy for VarUsage<'db>

impl<'db> Eq for VarUsage<'db>

impl<'db> StructuralPartialEq for VarUsage<'db>