Module coherence 

See Rustc Dev Guide chapters on trait-resolution and trait-specialization for more info on how this works.

Re-exports

use std::fmt::Debug; 🔒

use std::fmt::Debug; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_errors::Diag; 🔒

use rustc_hir::def_id::CRATE_DEF_ID; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_infer::infer::DefineOpaqueTypes; 🔒

use rustc_infer::infer::InferCtxt; 🔒

use rustc_infer::infer::TyCtxtInferExt; 🔒

use rustc_infer::traits::PredicateObligations; 🔒

use rustc_infer::traits::TraitErrors; 🔒

use rustc_macros::TypeFoldable; 🔒

use rustc_macros::TypeVisitable; 🔒

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

use rustc_middle::traits::solve::CandidateSource; 🔒

use rustc_middle::traits::solve::Certainty; 🔒

use rustc_middle::traits::solve::Goal; 🔒

use rustc_middle::traits::specialization_graph::OverlapMode; 🔒

use rustc_middle::ty::fast_reject::DeepRejectCtxt; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeSuperVisitable; 🔒

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_next_trait_solver::solve::SolverDelegateEvalExt; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use tracing::warn; 🔒

use super::ObligationCtxt; 🔒

use crate::error_reporting::traits::suggest_new_overflow_limit; 🔒

use crate::infer::InferOk; 🔒

use crate::solve::inspect::InferCtxtProofTreeExt; 🔒

use crate::solve::inspect::InspectGoal; 🔒

use crate::solve::inspect::ProofTreeVisitor; 🔒

use crate::solve::SolverDelegate; 🔒

use crate::solve::deeply_normalize_for_diagnostics; 🔒

use crate::solve::inspect; 🔒

use crate::traits::query::evaluate_obligation::InferCtxtExt; 🔒

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

use crate::traits::FulfillmentErrorCode; 🔒

use crate::traits::Obligation; 🔒

use crate::traits::ObligationCause; 🔒

use crate::traits::PredicateObligation; 🔒

use crate::traits::SkipLeakCheck; 🔒

use crate::traits::util; 🔒

Structs

AmbiguityCausesVisitor 🔒

ImplHeader

The “header” of an impl is everything outside the body: a Self type, a trait ref (in the case of a trait impl), and a set of predicates (from the bounds / where-clauses).

OverlapResult

UncoveredTyParams

Enums

Conflict

InCrate

Whether we do the orphan check relative to this crate or to some remote crate.

IntersectionHasImpossibleObligations 🔒

The result of [fn impl_intersection_has_impossible_obligation].

IsFirstInputType

OrphanCheckErr

OrphanCheckMode

Functions

add_placeholder_note

compute_intercrate_ambiguity_causes 🔒

Compute the intercrate_ambiguity_causes for the new solver using “proof trees”.

equate_impl_headers 🔒

fresh_impl_header 🔒

impl_intersection_has_impossible_obligation 🔒

Check if both impls can be satisfied by a common type by considering whether any of either impl’s obligations is not known to hold.

impl_intersection_has_negative_obligation 🔒

Check if both impls can be satisfied by a common type by considering whether any of first impl’s obligations is known not to hold via a negative predicate.

orphan_check_trait_ref

Checks whether a trait-ref is potentially implementable by a crate.

overlap 🔒

Can both impl a and impl b be satisfied by a common type (including where-clauses)? If so, returns an ImplHeader that unifies the two impls.

overlapping_impls 🔒

overlapping_inherent_impls

If there are types that satisfy both impls, returns Some with a suitably-freshened ImplHeader with those types instantiated. Otherwise, returns None.

overlapping_trait_impls

If there are types that satisfy both impls, returns Some with a suitably-freshened ImplHeader with those types instantiated. Otherwise, returns None.

plug_infer_with_placeholders 🔒

search_ambiguity_causes 🔒

suggest_increasing_recursion_limit 🔒

trait_ref_is_knowable

Returns whether all impls which would apply to the trait_ref e.g. Ty: Trait<Arg> are already known in the local crate.

trait_ref_is_local_or_fundamental

try_prove_negated_where_clause 🔒