Re-exportsยง
use rustc_infer::infer::TyCtxtInferExt;๐use rustc_middle::query::Providers;๐use rustc_middle::ty::ParamEnvAnd;๐use rustc_middle::ty::TyCtxt;๐use rustc_span::DUMMY_SP;๐use rustc_trait_selection::traits::query::CanonicalPredicateGoal;๐use rustc_trait_selection::traits::EvaluationResult;๐use rustc_trait_selection::traits::Obligation;๐use rustc_trait_selection::traits::ObligationCause;๐use rustc_trait_selection::traits::OverflowError;๐use rustc_trait_selection::traits::SelectionContext;๐use rustc_trait_selection::traits::TraitQueryMode;๐use rustc_trait_selection::traits::implicit_fast_path;๐use tracing::debug;๐
Functionsยง
- evaluate_
obligation ๐ - provide ๐