Crate rustc_pattern_analysis
source ·Expand description
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§
- As explained in
crate::usefulness
, values and patterns are made from constructors applied to fields. This file defines aConstructor
enum and various operations to manipulate them. - lints 🔒
- 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. - Match exhaustiveness and redundancy algorithm
Structs§
- An owned contiguous collection of
T
s, indexed byI
rather than byusize
. - The arm of a match expression.
bool
newtype that indicates whether this is a privately uninhabited field that we should skip during analysis.
Statics§
- Raw content of Fluent resource for this crate, generated by
fluent_messages
macro, imported byrustc_driver
to include all crates’ resources in one bundle.
Traits§
- Represents some newtyped
usize
wrapper. - Context that provides type information about constructors.