Module trait_goals 

Dealing with trait goals, i.e. T: Trait<'a, U>.

Re-exports

use rustc_type_ir::data_structures::IndexSet; 🔒

use rustc_type_ir::fast_reject::DeepRejectCtxt; 🔒

use rustc_type_ir::lang_items::SolverTraitLangItem; 🔒

use rustc_type_ir::solve::AliasBoundKind; 🔒

use rustc_type_ir::solve::CandidatePreferenceMode; 🔒

use rustc_type_ir::solve::CanonicalResponse; 🔒

use rustc_type_ir::solve::ExternalConstraintsData; 🔒

use rustc_type_ir::solve::IsIdentity; 🔒

use rustc_type_ir::solve::MaybeInfo; 🔒

use rustc_type_ir::solve::NoSolutionOrRerunNonErased; 🔒

use rustc_type_ir::solve::OpaqueTypesJank; 🔒

use rustc_type_ir::solve::QueryResultOrRerunNonErased; 🔒

use rustc_type_ir::solve::RerunNonErased; 🔒

use rustc_type_ir::solve::RerunReason; 🔒

use rustc_type_ir::solve::RerunResultExt; 🔒

use rustc_type_ir::solve::SizedTraitKind; 🔒

use rustc_type_ir as ty; 🔒

use rustc_type_ir::ClausePolarity; 🔒

use rustc_type_ir::ExistentialPredicate; 🔒

use rustc_type_ir::FieldInfo; 🔒

use rustc_type_ir::IncludeSizedImplicitBounds; 🔒

use rustc_type_ir::Interner; 🔒

use rustc_type_ir::MayBeErased; 🔒

use rustc_type_ir::Movability; 🔒

use rustc_type_ir::Region; 🔒

use rustc_type_ir::TraitClause; 🔒

use rustc_type_ir::TraitRef; 🔒

use rustc_type_ir::TypeVisitableExt as _; 🔒

use rustc_type_ir::TypingMode; 🔒

use rustc_type_ir::Unnormalized; 🔒

use rustc_type_ir::Upcast as _; 🔒

use rustc_type_ir::elaborate; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use tracing::trace; 🔒

use tracing::warn; 🔒

use crate::delegate::SolverDelegate; 🔒

use crate::solve::assembly::structural_traits; 🔒

use crate::solve::assembly::structural_traits::AsyncCallableRelevantTypes; 🔒

use crate::solve::assembly; 🔒

use crate::solve::assembly::AllowInferenceConstraints; 🔒

use crate::solve::assembly::AssembleCandidatesFrom; 🔒

use crate::solve::assembly::Candidate; 🔒

use crate::solve::assembly::FailedCandidateInfo; 🔒

use crate::solve::inspect::ProbeKind; 🔒

use crate::solve::BuiltinImplSource; 🔒

use crate::solve::CandidateSource; 🔒

use crate::solve::Certainty; 🔒

use crate::solve::EvalCtxt; 🔒

use crate::solve::Goal; 🔒

use crate::solve::GoalSource; 🔒

use crate::solve::MaybeCause; 🔒

use crate::solve::NoSolution; 🔒

use crate::solve::ParamEnvSource; 🔒

use crate::solve::StalledOnCoroutines; 🔒

use crate::solve::flatten_answer_tree; 🔒

use crate::solve::has_only_region_constraints; 🔒

use rustc_type_ir::inherent::*; 🔒

Enums

TraitGoalProvenVia 🔒

How we’ve proven this trait goal.

Functions

trait_predicate_with_def_id 🔒

Small helper function to change the def_id of a trait predicate - this is not normally something that you want to do, as different traits will require different args and so making it easy to change the trait is something of a footgun, but it is useful in the narrow circumstance of changing from MetaSized to Sized, which happens as part of the lazy elaboration of sizedness candidates.