Re-exports§
use std::debug_assert_matches;🔒use rustc_type_ir::fast_reject::DeepRejectCtxt;🔒use rustc_type_ir::lang_items::SolverAdtLangItem;🔒use rustc_type_ir::lang_items::SolverProjectionLangItem;🔒use rustc_type_ir::lang_items::SolverTraitLangItem;🔒use rustc_type_ir::solve::FetchEligibleAssocItemResponse;🔒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 as ty;🔒use rustc_type_ir::Const;🔒use rustc_type_ir::FieldInfo;🔒use rustc_type_ir::Interner;🔒use rustc_type_ir::NormalizesTo;🔒use rustc_type_ir::PredicateKind;🔒use rustc_type_ir::Region;🔒use rustc_type_ir::Unnormalized;🔒use rustc_type_ir::Upcast as _;🔒use tracing::instrument;🔒use tracing::instrument;🔒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::Candidate;🔒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::MaybeInfo;🔒use crate::solve::NoSolution;🔒use crate::solve::SizedTraitKind;🔒use rustc_type_ir::inherent::*;🔒