Struct Binding 

pub struct Binding {
    pub name: SmolStr,
    pub name_range: TextRange,
    pub ty: Ty,
    pub init: Option<ExprId>,
    pub annotated: bool,
    pub inferred_colon_eq: bool,
    pub is_const: bool,
    pub kind: BindingKind,
}

A typed local binding — the unit hover + inlay hints read for var/param/for names.

Fields

name: SmolStr

The binding name (for unused-binding analysis, find-references).

name_range: TextRange

The name token’s range.

ty: Ty

The binding’s resolved type. For an untyped var x = e this is the gradual Variant; the precise initializer type (for an “add type annotation” action) is Binding::init.

init: Option<ExprId>

The initializer expression, when the binding has one (a var/const with = e).

annotated: bool

Whether the source carried an explicit : T annotation.

inferred_colon_eq: bool

Whether the source used := (inferred-but-hard).

is_const: bool

Whether this is a const (vs a var) — distinguishes UNUSED_LOCAL_CONSTANT from UNUSED_VARIABLE.

kind: BindingKind

What kind of binding this is.

Trait Implementations

impl Clone for Binding

fn clone(&self) -> Binding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Binding

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

Formats the value using the given formatter.

impl Eq for Binding

impl PartialEq for Binding

fn eq(&self, other: &Binding) -> 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 StructuralPartialEq for Binding