Enum ra_ap_hir_def::expr::Pat

pub enum Pat {
    Missing,
    Wild,
    Tuple {
        args: Vec<PatId>,
        ellipsis: Option<usize>,
    },
    Or(Vec<PatId>),
    Record {
        path: Option<Path>,
        args: Vec<RecordFieldPat>,
        ellipsis: bool,
    },
    Range {
        start: ExprId,
        end: ExprId,
    },
    Slice {
        prefix: Vec<PatId>,
        slice: Option<PatId>,
        suffix: Vec<PatId>,
    },
    Path(Path),
    Lit(ExprId),
    Bind {
        mode: BindingAnnotation,
        name: Name,
        subpat: Option<PatId>,
    },
    TupleStruct {
        path: Option<Path>,
        args: Vec<PatId>,
        ellipsis: Option<usize>,
    },
    Ref {
        pat: PatId,
        mutability: Mutability,
    },
}

Close relative to rustc's hir::PatKind

Variants

Missing

Wild

Tuple

Fields of Tuple

args: Vec<PatId>ellipsis: Option<usize>

Or(Vec<PatId>)

Record

Fields of Record

path: Option<Path>args: Vec<RecordFieldPat>ellipsis: bool

Range

Fields of Range

start: ExprIdend: ExprId

Slice

Fields of Slice

prefix: Vec<PatId>slice: Option<PatId>suffix: Vec<PatId>

Path(Path)

Lit(ExprId)

Bind

Fields of Bind

mode: BindingAnnotationname: Namesubpat: Option<PatId>

TupleStruct

Fields of TupleStruct

path: Option<Path>args: Vec<PatId>ellipsis: Option<usize>

Ref

Fields of Ref

pat: PatIdmutability: Mutability

Implementations

impl Pat

pub fn walk_child_pats(&self, f: impl FnMut(PatId))

Trait Implementations

impl Clone for Pat

fn clone(&self) -> Pat

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Pat

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

Formats the value using the given formatter.

impl Eq for Pat

impl PartialEq<Pat> for Pat

fn eq(&self, other: &Pat) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Pat) -> bool

This method tests for !=.

impl StructuralEq for Pat

impl StructuralPartialEq for Pat