Crate rustc_pattern_analysis

Analysis of patterns, notably match exhaustiveness checking.

Modules

• constructor
  As explained in crate::usefulness, values and patterns are made from constructors applied to fields. This file defines a Constructor enum and various operations to manipulate them.
• errors
• lints 🔒
• pat
  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.
• pat_column
• rustc
• usefulness
  Match exhaustiveness and redundancy algorithm

Structs

• IndexVec
  An owned contiguous collection of Ts, indexed by I rather than by usize.
• MatchArm
  The arm of a match expression.
• PrivateUninhabitedField
  bool newtype that indicates whether this is a privately uninhabited field that we should skip during analysis.

Statics

• DEFAULT_LOCALE_RESOURCE
  Raw content of Fluent resource for this crate, generated by fluent_messages macro, imported by rustc_driver to include all crates’ resources in one bundle.

Traits

• Captures
• Idx
  Represents some newtyped usize wrapper.
• PatCx
  Context that provides type information about constructors.

Functions

• analyze_match
  The entrypoint for this crate. Computes whether a match is exhaustive and which of its arms are useful, and runs some lints.