Skip to main content Module compare_impl_item Copy item path Source use core::ops::ControlFlow ; 🔒 use std::borrow::Cow ; 🔒 use std::cmp::Ordering ; 🔒 use std::iter ; 🔒 use hir::def_id::DefId ; 🔒 use hir::def_id::DefIdMap ; 🔒 use hir::def_id::LocalDefId ; 🔒 use rustc_data_structures::fx::FxIndexMap ; 🔒 use rustc_data_structures::fx::FxIndexSet ; 🔒 use rustc_errors::Applicability ; 🔒 use rustc_errors::ErrorGuaranteed ; 🔒 use rustc_errors::MultiSpan ; 🔒 use rustc_errors::pluralize ; 🔒 use rustc_errors::struct_span_code_err ; 🔒 use rustc_hir::def::DefKind ; 🔒 use rustc_hir::def::Res ; 🔒 use rustc_hir::intravisit::Visitor ; 🔒 use rustc_hir as hir; 🔒 use rustc_hir::AmbigArg ; 🔒 use rustc_hir::GenericParamKind ; 🔒 use rustc_hir::ImplItemKind ; 🔒 use rustc_hir::intravisit ; 🔒 use rustc_infer::infer ; 🔒 use rustc_infer::infer::BoundRegionConversionTime ; 🔒 use rustc_infer::infer::InferCtxt ; 🔒 use rustc_infer::infer::TyCtxtInferExt ; 🔒 use rustc_infer::traits::TraitErrors ; 🔒 use rustc_infer::traits::util ; 🔒 use rustc_middle::ty::error::ExpectedFound ; 🔒 use rustc_middle::ty::error::TypeError ; 🔒 use rustc_middle::ty ; 🔒 use rustc_middle::ty::BottomUpFolder ; 🔒 use rustc_middle::ty::GenericArgs ; 🔒 use rustc_middle::ty::GenericParamDefKind ; 🔒 use rustc_middle::ty::Generics ; 🔒 use rustc_middle::ty::Ty ; 🔒 use rustc_middle::ty::TyCtxt ; 🔒 use rustc_middle::ty::TypeFoldable ; 🔒 use rustc_middle::ty::TypeFolder ; 🔒 use rustc_middle::ty::TypeSuperFoldable ; 🔒 use rustc_middle::ty::TypeVisitable ; 🔒 use rustc_middle::ty::TypeVisitableExt ; 🔒 use rustc_middle::ty::TypeVisitor ; 🔒 use rustc_middle::ty::TypingMode ; 🔒 use rustc_middle::ty::Unnormalized ; 🔒 use rustc_middle::ty::Upcast ; 🔒 use rustc_span::BytePos ; 🔒 use rustc_span::DUMMY_SP ; 🔒 use rustc_span::Span ; 🔒 use rustc_span::bug ; 🔒 use rustc_span::kw ; 🔒 use rustc_span::span_bug ; 🔒 use rustc_trait_selection::error_reporting::InferCtxtErrorExt ; 🔒 use rustc_trait_selection::infer::InferCtxtExt ; 🔒 use rustc_trait_selection::regions::InferCtxtRegionExt ; 🔒 use rustc_trait_selection::solve::NextSolverError ; 🔒 use rustc_trait_selection::traits ; 🔒 use rustc_trait_selection::traits::FromSolverError ; 🔒 use rustc_trait_selection::traits::FulfillmentError ; 🔒 use rustc_trait_selection::traits::ObligationCause ; 🔒 use rustc_trait_selection::traits::ObligationCauseCode ; 🔒 use rustc_trait_selection::traits::ObligationCtxt ; 🔒 use tracing::debug ; 🔒 use tracing::instrument ; 🔒 use tracing::instrument ; 🔒 use super::potentially_plural_count ; 🔒 use crate::diagnostics::LifetimesOrBoundsMismatchOnTrait ; 🔒 use crate::diagnostics::MethodShouldReturnFuture ; 🔒 use rustc_errors::codes ::*; 🔒 refine 🔒 CheckNumberOfEarlyBoundRegionsError 🔒 ImplTraitInTraitCollector 🔒 RemapHiddenTyRegions 🔒 RemapLateParam 🔒 LateEarlyMismatch 🔒 check_method_is_structurally_compatible 🔒 Checks a bunch of different properties of the impl/trait methods for
compatibility, such as asyncness, number of argument, self receiver kind,
and number of early- and late-bound generics. check_number_of_early_bound_regions 🔒 check_region_bounds_on_impl_item 🔒 check_region_late_boundedness 🔒 check_type_bounds 🔒 Validate that ProjectionCandidates created for this associated type will
be valid. collect_return_position_impl_trait_in_trait_tys 🔒 Given a method def-id in an impl, compare the method signature of the impl
against the trait that it’s implementing. In doing so, infer the hidden types
that this method’s signature provides to satisfy each return-position impl Trait
in the trait signature. compare_const_clause_entailment 🔒 The equivalent of compare_method_clause_entailment , but for associated constants
instead of associated functions. compare_const_directness 🔒 compare_const_generic_param_types 🔒 Checks that corresponding const generic parameters in a trait item and its
impl have compatible types. compare_generic_param_kinds 🔒 Checks that corresponding generic parameters in a trait item and its impl
are both type parameters or both const parameters. compare_impl_const 🔒 compare_impl_item 🔒 Call the query tcx.compare_impl_item() directly instead. compare_impl_method 🔒 Checks that a method from an impl conforms to the signature of
the same method as declared in the trait. compare_impl_ty 🔒 compare_method_clause_entailment 🔒 This function is best explained by example. Consider a trait with its implementation: compare_number_of_generics 🔒 Checks that the number of generics on a given assoc item in a trait impl is the same
as the number of generics on the respective assoc item in the trait definition. compare_number_of_method_arguments 🔒 compare_self_type 🔒 compare_synthetic_generics 🔒 compare_type_clause_entailment 🔒 The equivalent of compare_method_clause_entailment , but for associated types
instead of associated functions. extract_spans_for_error_reporting 🔒 find_region_in_clauses 🔒 get_self_string 🔒 Gets the string for an explicit self declaration, e.g. “self”, “&self”,
etc. param_env_with_gat_bounds 🔒 Install projection predicates that allow GATs to project to their own
definition types. This is not allowed in general in cases of default
associated types in trait definitions, or when specialization is involved,
but is needed when checking these definition types actually satisfy the
trait bounds of the GAT. report_trait_method_mismatch 🔒 try_report_async_mismatch 🔒 Manually check here that async fn foo() wasn’t matched against fn foo(),
and extract a better error if so.