Expand description
Analysis of patterns, notably match exhaustiveness checking.
Modules§
- As explained in
crate::usefulness
, values and patterns are made from constructors applied to fields. This file defines aConstructor
enum and various operations to manipulate them. - As explained in
crate::usefulness
, values and patterns are made from constructors applied to fields. This file defines types that represent patterns in this way. - Match exhaustiveness and redundancy algorithm
Structs§
- The arm of a match expression.
- Context that provides information global to a match.
Traits§
- Context that provides type information about constructors.