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
]