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<Box<Path>>,
        args: Vec<RecordFieldPat>,
        ellipsis: bool,
    },
    Range {
        start: ExprId,
        end: ExprId,
    },
    Slice {
        prefix: Vec<PatId>,
        slice: Option<PatId>,
        suffix: Vec<PatId>,
    },
    Path(Box<Path>),
    Lit(ExprId),
    Bind {
        mode: BindingAnnotation,
        name: Name,
        subpat: Option<PatId>,
    },
    TupleStruct {
        path: Option<Box<Path>>,
        args: Vec<PatId>,
        ellipsis: Option<usize>,
    },
    Ref {
        pat: PatId,
        mutability: Mutability,
    },
    Box {
        inner: PatId,
    },
    ConstBlock(ExprId),
}

Close relative to rustc’s hir::PatKind

Variants

Missing

Wild

Tuple

Fields of Tuple

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

Or(Vec<PatId>)

Tuple Fields of Or

0: Vec<PatId>

Record

Fields of Record

path: Option<Box<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(Box<Path>)

Tuple Fields of Path

0: Box<Path>

Lit(ExprId)

Tuple Fields of Lit

0: ExprId

Bind

Fields of Bind

mode: BindingAnnotationname: Namesubpat: Option<PatId>

TupleStruct

Fields of TupleStruct

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

Ref

Fields of Ref

pat: PatIdmutability: Mutability

Box

Fields of Box

inner: PatId

ConstBlock(ExprId)

Tuple Fields of ConstBlock

0: ExprId

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 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 Eq for Pat

impl StructuralEq for Pat

impl StructuralPartialEq for Pat