Module rustc_traits::chalk_context[][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 chalk_engine::fallible::Fallible as ChalkEngineFallible;
use chalk_engine::context;
use chalk_engine::hh::HhGoal;
use chalk_engine::DelayedLiteral;
use chalk_engine::ExClause;
use rustc::infer::canonical::Canonical;
use rustc::infer::canonical::CanonicalVarValues;
use rustc::infer::canonical::Canonicalize;
use rustc::infer::canonical::QueryRegionConstraint;
use rustc::infer::canonical::QueryResult;
use rustc::infer::InferCtxt;
use rustc::infer::InferOk;
use rustc::infer::LateBoundRegionConversionTime;
use rustc::traits::DomainGoal;
use rustc::traits::ExClauseFold;
use rustc::traits::ExClauseLift;
use rustc::traits::Goal;
use rustc::traits::ProgramClause;
use rustc::traits::QuantifierKind;
use rustc::ty::fold::TypeFoldable;
use rustc::ty::fold::TypeFolder;
use rustc::ty::fold::TypeVisitor;
use rustc::ty::subst::Kind;
use rustc::ty;
use rustc::ty::TyCtxt;
use std::fmt;
use std::fmt::Debug;
use std::marker::PhantomData;
use syntax_pos::DUMMY_SP;

Structs

ChalkArenas [
Experimental
]
ChalkContext [
Experimental
]
ChalkInferenceContext [
Experimental
]
ConstrainedSubst [
Experimental
]
UniverseMap [
Experimental
]

Type Definitions

ChalkExClause [
Experimental
]
ChalkHhGoal [
Experimental
]