Re-exports§
use core::ops::ControlFlow;🔒use rustc_abi::FieldIdx;🔒use rustc_abi::VariantIdx;🔒use rustc_apfloat::Float;🔒use rustc_attr_ir::find_attr;🔒use rustc_attr_ir::lang_items::LangItem;🔒use rustc_data_structures::fx::FxHashSet;🔒use rustc_errors::Diag;🔒use rustc_errors::msg;🔒use rustc_hir as hir;🔒use rustc_index::Idx;🔒use rustc_infer::infer::TyCtxtInferExt;🔒use rustc_infer::traits::Obligation;🔒use rustc_middle::mir::interpret::ErrorHandled;🔒use rustc_middle::thir::FieldPat;🔒use rustc_middle::thir::Pat;🔒use rustc_middle::thir::PatKind;🔒use rustc_middle::ty;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_middle::ty::TypeSuperVisitable;🔒use rustc_middle::ty::TypeVisitableExt;🔒use rustc_middle::ty::TypeVisitor;🔒use rustc_middle::ty::Unnormalized;🔒use rustc_span::def_id::DefId;🔒use rustc_span::DUMMY_SP;🔒use rustc_span::Span;🔒use rustc_span::span_bug;🔒use rustc_trait_selection::error_reporting::traits::ambiguity::CandidateSource;🔒use rustc_trait_selection::error_reporting::traits::ambiguity::compute_applicable_impls_for_diagnostics;🔒use rustc_trait_selection::traits::ObligationCause;🔒use rustc_trait_selection::traits::query::evaluate_obligation::InferCtxtExt;🔒use tracing::debug;🔒use tracing::instrument;🔒use tracing::instrument;🔒use tracing::trace;🔒use super::PatCtxt;🔒use crate::diagnostics::ConstPatternDependsOnGenericParameter;🔒use crate::diagnostics::CouldNotEvalConstPattern;🔒use crate::diagnostics::InvalidPattern;🔒use crate::diagnostics::NaNPattern;🔒use crate::diagnostics::PointerPattern;🔒use crate::diagnostics::SuggestEq;🔒use crate::diagnostics::TypeNotPartialEq;🔒use crate::diagnostics::TypeNotStructural;🔒use crate::diagnostics::UnionPattern;🔒use crate::diagnostics::UnsizedPattern;🔒
Structs§
Functions§
- extend_
type_ 🔒not_ partial_ eq - Given a type with type parameters, visit every ADT looking for types that need to
#[derive(PartialEq)]for it to be a structural type. - type_
has_ 🔒partial_ eq_ impl