Module assembly 

Code shared by trait and projection goals for candidate assembly.

Re-exports

use std::cell::Cell; 🔒

use std::ops::ControlFlow; 🔒

use derive_where::derive_where; 🔒

use rustc_type_ir::lang_items::SolverTraitLangItem; 🔒

use rustc_type_ir::search_graph::CandidateHeadUsages; 🔒

use rustc_type_ir::solve::AliasBoundKind; 🔒

use rustc_type_ir::solve::MaybeInfo; 🔒

use rustc_type_ir::solve::NoSolutionOrRerunNonErased; 🔒

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

use rustc_type_ir as ty; 🔒

use rustc_type_ir::AliasTy; 🔒

use rustc_type_ir::Const; 🔒

use rustc_type_ir::Interner; 🔒

use rustc_type_ir::MayBeErased; 🔒

use rustc_type_ir::Region; 🔒

use rustc_type_ir::TypeFlags; 🔒

use rustc_type_ir::TypeFoldable; 🔒

use rustc_type_ir::TypeFolder; 🔒

use rustc_type_ir::TypeSuperFoldable; 🔒

use rustc_type_ir::TypeSuperVisitable; 🔒

use rustc_type_ir::TypeVisitable; 🔒

use rustc_type_ir::TypeVisitableExt; 🔒

use rustc_type_ir::TypeVisitor; 🔒

use rustc_type_ir::TypingMode; 🔒

use rustc_type_ir::Unnormalized; 🔒

use rustc_type_ir::Upcast; 🔒

use rustc_type_ir::elaborate; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use super::trait_goals::TraitGoalProvenVia; 🔒

use super::has_only_region_constraints; 🔒

use super::inspect; 🔒

use crate::delegate::SolverDelegate; 🔒

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

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

use crate::solve::BuiltinImplSource; 🔒

use crate::solve::CandidateSource; 🔒

use crate::solve::CanonicalResponse; 🔒

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::OpaqueTypesJank; 🔒

use crate::solve::ParamEnvSource; 🔒

use crate::solve::QueryResult; 🔒

use crate::solve::has_no_inference_or_external_constraints; 🔒

use rustc_type_ir::inherent::*; 🔒

Modules

structural_traits 🔒

Code which is used by built-in goals that match “structurally”, such a auto traits, Copy/Clone.

Structs

Candidate 🔒

A candidate is a possible way to prove a goal.

FailedCandidateInfo 🔒

This is currently used to track the CandidateHeadUsages of all failed ParamEnv candidates. This is then used to ignore their head usages in case there’s another always applicable ParamEnv candidate. Look at how param_env_head_usages is used in the code for more details.

FindParamInClause 🔒

Enums

AllowInferenceConstraints 🔒

AssembleCandidatesFrom 🔒

Allows callers of assemble_and_evaluate_candidates to choose whether to limit candidate assembly to param-env and alias-bound candidates.

Traits

GoalKind 🔒

Methods used to assemble candidates for either trait or projection goals.