Module rustc::traits::query::evaluate_obligation [−][src]
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Re-exports
use infer::InferCtxt; |
use infer::canonical::Canonical; |
use infer::canonical::Canonicalize; |
use traits::EvaluationResult; |
use traits::PredicateObligation; |
use traits::SelectionContext; |
use traits::TraitQueryMode; |
use traits::OverflowError; |
use traits::query::CanonicalPredicateGoal; |
use ty::ParamEnvAnd; |
use ty::Predicate; |
use ty::TyCtxt; |