Struct SubPattern 

pub struct SubPattern {
    pub tpe: Type,
    pub pattern: TermPattern,
}

A pattern written in a position inside another one — a constructor’s argument, a tuple’s element or a record pattern’s entry — and the type of the value found there.

The position’s type travels with the pattern because a sub-pattern has no scrutinee of its own to take one from: a variable written there binds a value of this type, and any other pattern written there constrains this type the way a case branch’s pattern constrains the scrutinee’s.

The pattern may be any TermPatternKind, itself holding sub-patterns to any depth: typer::translate_pattern translates one written here as it does one at the top.

Fields

tpe: Type

pattern: TermPattern

Trait Implementations

impl Clone for SubPattern

fn clone(&self) -> SubPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SubPattern

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

Formats the value using the given formatter.