[][src]Module rustc_mir_build::thir::pattern

Validation of patterns/matches.

Modules

check_match
const_to_pat
deconstruct_pat

super::usefulness explains most of what is happening in this file. As explained there, values and patterns are made from constructors applied to fields. This file defines a Constructor enum, a Fields struct, and various operations to manipulate them and convert them from/to patterns.

usefulness

Note: tests specific to this file can be found in:

Structs

Ascription
FieldPat
Pat
PatCtxt
PatRange
PatTyProj

Enums

BindingMode
PatKind
PatternError

Traits

PatternFoldable
PatternFolder

Functions

compare_const_vals