Module pat_analysis 

Interface with rustc_pattern_analysis.

Structs

EnumVariantContiguousIndex 🔒

An index type for enum variants. This ranges from 0 to variants.len(), whereas EnumVariantId can take arbitrary large values (and hence mustn’t be used with IndexVec/BitSet).

MatchCheckCtx 🔒

Enums

Void 🔒

[Constructor] uses this in unimplemented variants. It allows porting match expressions from upstream algorithm without losing semantics.

Type Aliases

DeconstructedPat 🔒

MatchArm 🔒

WitnessPat 🔒