Re-exports§
use rustc_infer::traits::solve::Goal;🔒use rustc_macros::extension;🔒use rustc_middle::ty;🔒use rustc_next_trait_solver::solve::SolverDelegateEvalExt;🔒use rustc_span::span_bug;🔒use crate::infer::InferCtxt;🔒use crate::infer::canonical::OriginalQueryValues;🔒use crate::solve::SolverDelegate;🔒use crate::traits::EvaluationResult;🔒use crate::traits::ObligationCtxt;🔒use crate::traits::OverflowError;🔒use crate::traits::PredicateObligation;🔒use crate::traits::SelectionContext;🔒