Enum DestructurePattern 

pub enum DestructurePattern {
    Identifier(String, Span),
    Array(Vec<DestructurePattern>),
    Object(Vec<ObjectPatternField>),
    Rest(Box<DestructurePattern>),
    Decomposition(Vec<DecompositionBinding>),
}

Pattern for destructuring assignments

Variants

Identifier(String, Span)

Simple identifier pattern: let x = …

Array(Vec<DestructurePattern>)

Array destructuring: let [a, b, c] = …

Object(Vec<ObjectPatternField>)

Object destructuring: let {x, y} = …

Rest(Box<DestructurePattern>)

Rest pattern: let [a, …rest] = … or let {x, …rest} = …

Decomposition(Vec<DecompositionBinding>)

Decomposition pattern: let a: A, b: B = intersection_value Extracts component types from an intersection type (A + B). Each binding specifies a name and type annotation for the component.

Implementations

impl DestructurePattern

pub fn as_identifier(&self) -> Option<&str>

Get the identifier name if this is a simple identifier pattern

pub fn as_identifier_span(&self) -> Option<Span>

Get the identifier span if this is a simple identifier pattern

pub fn get_identifiers(&self) -> Vec<String>

Get all identifier names in this pattern

pub fn get_bindings(&self) -> Vec<(String, Span)>

Get all identifier names and their source spans in this pattern.

This is the canonical way to extract bound variables from any pattern shape. Both the compiler and LSP should use this method to avoid divergence in how pattern bindings are discovered.

Trait Implementations

impl Clone for DestructurePattern

fn clone(&self) -> DestructurePattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DestructurePattern

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DestructurePattern

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for DestructurePattern

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for DestructurePattern