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;