Module check_match 

Re-exports

use rustc_arena::DroplessArena; 🔒

use rustc_arena::TypedArena; 🔒

use rustc_ast::Mutability; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_errors::Applicability; 🔒

use rustc_errors::ErrorGuaranteed; 🔒

use rustc_errors::MultiSpan; 🔒

use rustc_errors::msg; 🔒

use rustc_errors::struct_span_code_err; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::BindingMode; 🔒

use rustc_hir::ByRef; 🔒

use rustc_hir::HirId; 🔒

use rustc_hir::MatchSource; 🔒

use rustc_infer::infer::TyCtxtInferExt; 🔒

use rustc_lint_defs::builtin::BINDINGS_WITH_VARIANT_NAME; 🔒

use rustc_lint_defs::builtin::IRREFUTABLE_LET_PATTERNS; 🔒

use rustc_lint_defs::builtin::UNREACHABLE_PATTERNS; 🔒

use rustc_middle::thir::visit::Visitor; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::AdtDef; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_pattern_analysis::diagnostics::Uncovered; 🔒

use rustc_pattern_analysis::rustc::Constructor; 🔒

use rustc_pattern_analysis::rustc::DeconstructedPat; 🔒

use rustc_pattern_analysis::rustc::MatchArm; 🔒

use rustc_pattern_analysis::rustc::RedundancyExplanation; 🔒

use rustc_pattern_analysis::rustc::RevealedTy; 🔒

use rustc_pattern_analysis::rustc::RustcPatCtxt as PatCtxt; 🔒

use rustc_pattern_analysis::rustc::Usefulness; 🔒

use rustc_pattern_analysis::rustc::UsefulnessReport; 🔒

use rustc_pattern_analysis::rustc::WitnessPat; 🔒

use rustc_span::edit_distance::find_best_match_for_name; 🔒

use rustc_span::hygiene::DesugaringKind; 🔒

use rustc_span::Ident; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use rustc_trait_selection::infer::InferCtxtExt; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use rustc_errors::codes::*; 🔒

use rustc_hir::def::*; 🔒

use rustc_middle::thir::*; 🔒

use crate::diagnostics::*; 🔒

use RefutableFlag::*; 🔒

Structs

MatchVisitor 🔒

Enums

LetSource 🔒

RefutableFlag 🔒

Functions

check_borrow_conflicts_in_at_patterns 🔒

Check if a by-value binding is by-value. That is, check if the binding’s type is not Copy. Check that there are no borrow or move conflicts in binding @ subpat patterns.

check_for_bindings_named_same_as_variants 🔒

check_match 🔒

check_never_pattern 🔒

Check that never patterns are only used on inhabited types.

collect_special_tys 🔒

Collect types that require specific explanations when they show up in witnesses.

find_fallback_pattern_typo 🔒

Detect typos that were meant to be a const but were interpreted as a new pattern binding.

is_const_pat_that_looks_like_binding 🔒

If the given pattern is a named constant that looks like it could have been intended to be a binding, returns the DefId of the named constant.

joined_uncovered_patterns 🔒

maybe_point_at_variant 🔒

pat_is_catchall 🔒

Checks for common cases of “catchall” patterns that may not be intended as such.

report_adt_defined_here 🔒

report_arm_reachability 🔒

Report unreachable arms, if any.

report_irrefutable_let_patterns 🔒

report_non_exhaustive_match 🔒

Report that a match is not exhaustive.

report_unreachable_pattern 🔒

Report unreachable arms, if any.