Module rustc::infer::combine [−][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 super::equate::Equate; |
use super::glb::Glb; |
use super::InferCtxt; |
use super::MiscVariable; |
use super::TypeTrace; |
use super::lub::Lub; |
use super::sub::Sub; |
use super::type_variable::TypeVariableValue; |
use hir::def_id::DefId; |
use ty::IntType; |
use ty::UintType; |
use ty; |
use ty::Ty; |
use ty::TyCtxt; |
use ty::error::TypeError; |
use ty::relate; |
use ty::relate::Relate; |
use ty::relate::RelateResult; |
use ty::relate::TypeRelation; |
use ty::subst::Substs; |
use traits::Obligation; |
use traits::PredicateObligations; |
use syntax::ast; |
use syntax_pos::Span; |
Structs
CombineFields |
[ Experimental ]
|
Generalization |
[ Experimental ] Result from a generalization operation. This includes not only the generalized type, but also a bool flag indicating whether further WF checks are needed. |
Generalizer |
[ Experimental ]
|
Enums
RelationDir |
[ Experimental ]
|
Traits
RelateResultCompare |
[ Experimental ]
|
Functions
float_unification_error |
[ Experimental ]
|
int_unification_error |
[ Experimental ]
|