Module rustc_mir_build::thir::pattern

Validation of patterns/matches.

Modules

• check_match 🔒
• const_to_pat 🔒
• deconstruct_pat 🔒
  As explained in super::usefulness, 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 🔒
  Match exhaustiveness and reachability algorithm

Structs

• PatCtxt 🔒

Functions

• pat_from_hir 🔒