Skip to main content

Module pat

rustc_hir_typeck

Module pat 

Source

Re-exports§

use std::collections::hash_map::Entry::Occupied; 🔒
use std::collections::hash_map::Entry::Vacant; 🔒
use std::assert_matches; 🔒
use std::cmp; 🔒
use rustc_abi::FieldIdx; 🔒
use rustc_ast as ast; 🔒
use rustc_attr_ir::lang_items::LangItem; 🔒
use rustc_data_structures::fx::FxHashMap; 🔒
use rustc_errors::Applicability; 🔒
use rustc_errors::Diag; 🔒
use rustc_errors::DiagCtxtHandle; 🔒
use rustc_errors::Diagnostic; 🔒
use rustc_errors::ErrorGuaranteed; 🔒
use rustc_errors::Level; 🔒
use rustc_errors::MultiSpan; 🔒
use rustc_errors::pluralize; 🔒
use rustc_errors::struct_span_code_err; 🔒
use rustc_hir::def::CtorKind; 🔒
use rustc_hir::def::DefKind; 🔒
use rustc_hir::def::Res; 🔒
use rustc_hir::def_id::DefId; 🔒
use rustc_hir::pat_util::EnumerateAndAdjustIterator; 🔒
use rustc_hir as hir; 🔒
use rustc_hir::BindingMode; 🔒
use rustc_hir::ByRef; 🔒
use rustc_hir::ExprKind; 🔒
use rustc_hir::HirId; 🔒
use rustc_hir::Mutability; 🔒
use rustc_hir::Pat; 🔒
use rustc_hir::PatExpr; 🔒
use rustc_hir::PatExprKind; 🔒
use rustc_hir::PatKind; 🔒
use rustc_hir::expr_needs_parens; 🔒
use rustc_hir_analysis::autoderef::report_autoderef_recursion_limit_error; 🔒
use rustc_infer::infer::RegionVariableOrigin; 🔒
use rustc_lint_defs::builtin::NON_EXHAUSTIVE_OMITTED_PATTERNS; 🔒
use rustc_middle::traits::PatternOriginExpr; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::Pinnedness; 🔒
use rustc_middle::ty::Ty; 🔒
use rustc_middle::ty::TypeVisitableExt; 🔒
use rustc_middle::ty::Unnormalized; 🔒
use rustc_session::diagnostics::feature_err; 🔒
use rustc_span::edit_distance::find_best_match_for_name; 🔒
use rustc_span::edition::Edition; 🔒
use rustc_span::BytePos; 🔒
use rustc_span::DUMMY_SP; 🔒
use rustc_span::Ident; 🔒
use rustc_span::Span; 🔒
use rustc_span::bug; 🔒
use rustc_span::kw; 🔒
use rustc_span::span_bug; 🔒
use rustc_span::sym; 🔒
use rustc_trait_selection::infer::InferCtxtExt; 🔒
use rustc_trait_selection::traits::ObligationCause; 🔒
use rustc_trait_selection::traits::ObligationCauseCode; 🔒
use tracing::debug; 🔒
use tracing::instrument; 🔒
use tracing::instrument; 🔒
use tracing::trace; 🔒
use ty::VariantDef; 🔒
use ty::adjustment::PatAdjust; 🔒
use ty::adjustment::PatAdjustment; 🔒
use crate::expectation::Expectation; 🔒
use crate::gather_locals::DeclOrigin; 🔒
use crate::FnCtxt; 🔒
use crate::diagnostics; 🔒
use rustc_errors::codes::*; 🔒

Structs§

PatInfo 🔒
ResolvedPat 🔒
When checking patterns containing paths, we need to know the path’s resolution to determine whether to apply match ergonomics and implicitly dereference the scrutinee. For instance, when the deref_patterns feature is enabled and we’re matching against a scrutinee of type Cow<'a, Option<u8>>, we insert an implicit dereference to allow the pattern Some(_) to type, but we must not dereference it when checking the pattern Cow::Borrowed(_).
TopInfo 🔒
Information about the expected type at the top level of type checking a pattern.

Enums§

AdjustMode 🔒
Mode for adjusting the expected type and binding mode.
InheritedRefMatchRule 🔒
Variations on RFC 3627’s Rule 4: when do reference patterns match against inherited references?
MutblCap 🔒
ref mut bindings (explicit or match-ergonomics) are not allowed behind an & reference. Normally, the borrow checker enforces this, but for (currently experimental) match ergonomics, we track this when typing patterns for two purposes:
PeelKind 🔒
Restrictions on what types to peel when adjusting the expected type and binding mode.
PinnednessCap 🔒
ref or ref mut bindings (not pinned, explicitly or match-ergonomics) are only allowed behind an &pin reference if the binding’s type is Unpin.
ResolvedPatKind 🔒

Constants§

CANNOT_IMPLICITLY_DEREF_POINTER_TRAIT_OBJ 🔒

Functions§

is_number 🔒