Module specialize 

Logic and data structures related to impl specialization, explained in greater detail below.

At the moment, this implementation support only the simple “chain” rule: If any two impls overlap, one must be a strict subset of the other.

See the rustc dev guide for a bit more detail on how specialization fits together with the rest of the trait machinery.

Re-exports

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_errors::Diag; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_infer::traits::Obligation; 🔒

use rustc_lint_defs::builtin::COHERENCE_LEAK_CHECK; 🔒

use rustc_middle::query::LocalCrate; 🔒

use rustc_middle::traits::query::NoSolution; 🔒

use rustc_middle::ty::fast_reject; 🔒

use rustc_middle::ty::fast_reject::TreatParams; 🔒

use rustc_middle::ty::print::PrintTraitRefExt as _; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::GenericArgs; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::TypingMode; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::ErrorGuaranteed; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use rustc_span::sym; 🔒

use specialization_graph::GraphExt; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use crate::diagnostics::NegativePositiveConflict; 🔒

use crate::error_reporting::traits::to_pretty_impl_header; 🔒

use crate::infer::InferCtxt; 🔒

use crate::infer::TyCtxtInferExt; 🔒

use crate::traits::select::IntercrateAmbiguityCause; 🔒

use crate::traits::FutureCompatOverlapErrorKind; 🔒

use crate::traits::ObligationCause; 🔒

use crate::traits::ObligationCtxt; 🔒

use crate::traits::coherence; 🔒

use crate::traits::predicates_for_generics; 🔒

use rustc_errors::codes::*; 🔒

Modules

specialization_graph

Structs

OverlapError

Information pertinent to an overlapping impl error.

Functions

fulfill_implication 🔒

Attempt to fulfill all obligations of target_impl after unification with source_trait_ref. If successful, returns the generic parameters for all the generics of target_impl, including both those needed to unify with source_trait_ref and those whose identity is determined via a where clause in the impl.

report_conflicting_impls 🔒

report_negative_positive_conflict 🔒

report_overlap_conflict 🔒

specialization_enabled_in 🔒

specialization_graph_provider 🔒

Query provider for specialization_graph_of.

specializes 🔒

Is specializing_impl_def_id a specialization of parent_impl_def_id?

translate_args

Given the generic parameters for the requested impl, translate it to the generic parameters appropriate for the actual item definition (whether it be in that impl, a parent impl, or the trait).

translate_args_with_cause

Like translate_args, but obligations from the parent implementation are registered with the provided ObligationCause.