Struct charon_lib::ast::gast::Var

pub struct Var {
    pub index: VarId,
    pub name: Option<String>,
    pub ty: Ty,
}

A variable

Fields

index: VarId

Unique index identifying the variable

name: Option<String>

Variable name - may be None if the variable was introduced by Rust through desugaring.

ty: Ty

The variable type

Trait Implementations

impl Clone for Var

fn clone(&self) -> Var

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Var

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Var

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Drive for Var

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for Var

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl Serialize for Var

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl ToString for Var

fn to_string(&self) -> String

Converts the given value to a String.