Skip to main content

Module delegate

rustc_trait_selection::solve

Module delegate 

Source

Re-exports§

use std::collections::hash_map::Entry; 🔒
use std::fmt::Debug; 🔒
use std::fmt::Debug; 🔒
use std::ops::ControlFlow; 🔒
use std::ops::Deref; 🔒
use rustc_attr_ir::lang_items::LangItem; 🔒
use rustc_data_structures::fx::FxHashMap; 🔒
use rustc_data_structures::fx::FxHashSet; 🔒
use rustc_hir::CRATE_HIR_ID; 🔒
use rustc_hir::def::Namespace; 🔒
use rustc_hir::def_id::CRATE_DEF_ID; 🔒
use rustc_hir::def_id::DefId; 🔒
use rustc_hir::def_id::LOCAL_CRATE; 🔒
use rustc_infer::infer::canonical::query_response::make_query_region_constraints; 🔒
use rustc_infer::infer::canonical::Canonical; 🔒
use rustc_infer::infer::canonical::CanonicalExt as _; 🔒
use rustc_infer::infer::canonical::CanonicalQueryInput; 🔒
use rustc_infer::infer::canonical::CanonicalVarKind; 🔒
use rustc_infer::infer::canonical::CanonicalVarValues; 🔒
use rustc_infer::infer::canonical::Canonicalized; 🔒
use rustc_infer::infer::canonical::QueryRegionConstraint; 🔒
use rustc_infer::infer::canonical::instantiate_value; 🔒
use rustc_infer::infer::InferCtxt; 🔒
use rustc_infer::infer::RegionVariableOrigin; 🔒
use rustc_infer::infer::SubregionOrigin; 🔒
use rustc_infer::infer::TyCtxtInferExt; 🔒
use rustc_infer::traits::solve::ComputeGoalFastPathOutcome; 🔒
use rustc_infer::traits::solve::FetchEligibleAssocItemResponse; 🔒
use rustc_infer::traits::solve::Goal; 🔒
use rustc_infer::traits::solve::SucceededInErased; 🔒
use rustc_lint_defs::builtin::RECURSION_DEPTH_EXCEEDING_LIMIT; 🔒
use rustc_middle::traits::query::NoSolution; 🔒
use rustc_middle::traits::solve::MaybeInfo; 🔒
use rustc_middle::ty::print::FmtPrinter; 🔒
use rustc_middle::ty::print::Print; 🔒
use rustc_middle::ty::transmute::Answer; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::CanonicalizerState; 🔒
use rustc_middle::ty::MayBeErased; 🔒
use rustc_middle::ty::Region; 🔒
use rustc_middle::ty::Ty; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use rustc_middle::ty::TypeFlags; 🔒
use rustc_middle::ty::TypeFoldable; 🔒
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_next_trait_solver::solve::GoalStalledOn; 🔒
use rustc_next_trait_solver::solve::GoalStalledOnOpaques; 🔒
use rustc_next_trait_solver::solve::TyOrConstInferVar; 🔒
use rustc_span::DUMMY_SP; 🔒
use rustc_span::Span; 🔒
use rustc_structures::Limit; 🔒
use rustc_transmute::TransmuteTypeEnv; 🔒
use thin_vec::ThinVec; 🔒
use thin_vec::thin_vec; 🔒
use super::inspect::InferCtxtProofTreeExt; 🔒
use crate::solve::inspect; 🔒
use crate::solve::inspect::InspectConfig; 🔒
use crate::solve::inspect::ProofTreeVisitor; 🔒
use crate::traits::EvaluateConstErr; 🔒
use crate::traits::ObligationCause; 🔒
use crate::traits::implicit_fast_path; 🔒
use crate::traits::specialization_graph; 🔒

Structs§

CollectNonRegionInfer 🔒
OverflowedGoalChain 🔒
SolverDelegate

Functions§

goal_stalled_on_args 🔒
Create a ComputeGoalFastPathOutcome signalling the goal is stalled on a list of ty::GenericArg
goal_stalled_on_args_or_nonempty_opaques 🔒
Create a ComputeGoalFastPathOutcome signalling the goal is stalled on a list of ty::GenericArg or the opaque type storage being nonempty.