Module pattern_analysis 

Re-exports

pub use self::PatternAnalysisContext as Context;

Structs

Constructor

InhabitanceCache

NormalizationContext

PatternAnalysisContext

Enums

NormalizedPattern

Functions

check

check_exhaustiveness

format_pattern

Formats a normalized pattern for display (e.g., in error messages). Unlike format_witness(), this can handle patterns with literal fields, since user-written patterns may contain literals in struct constructors.

format_witness

is_inhabited

is_pattern_irrefutable

normalize_typed_pattern

Type Aliases

Row

TagId

TypeName

Union

UnionTable