Module rustc 

Re-exports

use std::cell::Cell; 🔒

use std::fmt; 🔒

use std::iter::once; 🔒

use rustc_abi::FIRST_VARIANT; 🔒

use rustc_abi::FieldIdx; 🔒

use rustc_abi::Integer; 🔒

use rustc_abi::VariantIdx; 🔒

use rustc_arena::DroplessArena; 🔒

use rustc_hir::HirId; 🔒

use rustc_index::Idx; 🔒

use rustc_index::IndexVec; 🔒

use rustc_lint_defs::builtin::NON_CONTIGUOUS_RANGE_ENDPOINTS; 🔒

use rustc_lint_defs::builtin::OVERLAPPING_RANGE_ENDPOINTS; 🔒

use rustc_middle::middle::stability::EvalResult; 🔒

use rustc_middle::thir; 🔒

use rustc_middle::thir::Pat; 🔒

use rustc_middle::thir::PatKind; 🔒

use rustc_middle::thir::PatRange; 🔒

use rustc_middle::thir::PatRangeBoundary; 🔒

use rustc_middle::ty::layout::IntegerExt; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::FieldDef; 🔒

use rustc_middle::ty::OpaqueTypeKey; 🔒

use rustc_middle::ty::ScalarInt; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::VariantDef; 🔒

use rustc_span::def_id::LocalModId; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::ErrorGuaranteed; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use rustc_span::span_bug; 🔒

use crate::constructor::IntRange; 🔒

use crate::constructor::MaybeInfiniteInt; 🔒

use crate::constructor::OpaqueId; 🔒

use crate::constructor::RangeEnd; 🔒

use crate::constructor::Slice; 🔒

use crate::constructor::SliceKind; 🔒

use crate::constructor::VariantVisibility; 🔒

use crate::lints::lint_nonexhaustive_missing_variants; 🔒

use crate::pat_column::PatternColumn; 🔒

use crate::rustc::print::EnumInfo; 🔒

use crate::usefulness::PlaceValidity; 🔒

use crate::usefulness::compute_match_usefulness; 🔒

use crate::PatCx; 🔒

use crate::PrivateUninhabitedField; 🔒

use crate::diagnostics; 🔒

use crate::constructor::Constructor::*; 🔒

Modules

print 🔒

Pattern analysis sometimes wants to print patterns as part of a user-visible diagnostic.

Structs

RevealedTy

A type which has gone through cx.reveal_opaque_ty, i.e. if it was opaque it was replaced by the hidden type if allowed in the current body. This ensures we consistently inspect the hidden types when we should.

RustcPatCtxt

RustcPatCtxtState

Private fields of RustcPatCtxt, separated out to permit record initialization syntax.

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.

expand_or_pat 🔒

Recursively expand this pattern into its subpatterns. Only useful for or-patterns.

would_print_as_wildcard 🔒

Returns true if the given pattern would be printed as a wildcard (_).

Type Aliases

Constructor

ConstructorSet

DeconstructedPat

MatchArm

RedundancyExplanation

Usefulness

UsefulnessReport

WitnessPat