Crate ra_ap_rustc_pattern_analysis

Analysis of patterns, notably match exhaustiveness checking. The main entrypoint for this crate is usefulness::compute_match_usefulness. For rustc-specific types and entrypoints, see the [rustc] module.

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.
• 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
• 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.

Traits

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