Module rustc_mir_build::thir::pattern

source · [−]
Expand description

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:

Macros

CloneImpls

Structs

PatCtxt

Enums

PatternError

Traits

PatternFoldable
PatternFolder

Functions

compare_const_vals
pat_from_hir