Struct TypedPattern 

pub struct TypedPattern {
    pub pattern: Pattern,
    pub ty: Type,
}

Pattern with type annotation

Wraps a pattern with its inferred/checked type.

Fields

pattern: Pattern

The underlying pattern

ty: Type

The type of this pattern

Implementations

impl TypedPattern

pub fn new(pattern: Pattern, ty: Type) -> Self

Create a new typed pattern

pub fn get_type(&self) -> &Type

Get the type of this pattern

pub fn get_pattern(&self) -> &Pattern

Get the underlying pattern

pub fn into_pattern(self) -> Pattern

Convert to untyped pattern

Trait Implementations

impl Clone for TypedPattern

fn clone(&self) -> TypedPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypedPattern

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

Formats the value using the given formatter.