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

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.