Module rustc_mir_build::thir::pattern
source · Expand description
Validation of patterns/matches.
Modules
- As explained in
super::usefulness
, values and patterns are made from constructors applied to fields. This file defines aConstructor
enum, aFields
struct, and various operations to manipulate them and convert them from/to patterns. - Match exhaustiveness and reachability algorithm
Structs
- PatCtxt 🔒