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 ]
|