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.