Module rustc::infer::type_variable[][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 syntax::symbol::InternedString;
use syntax_pos::Span;
use ty;
use ty::Ty;
use std::cmp;
use std::marker::PhantomData;
use std::u32;
use rustc_data_structures::fx::FxHashMap;
use rustc_data_structures::snapshot_vec as sv;
use rustc_data_structures::unify as ut;

Structs

Delegate [
Experimental
]
Instantiate [
Experimental
]
Snapshot [
Experimental
]
TyVidEqKey [
Experimental
]

These structs (a newtyped TyVid) are used as the unification key for the eq_relations; they carry a TypeVariableValue along with them.

TypeVariableData [
Experimental
]
TypeVariableTable [
Experimental
]

Enums

TypeVariableOrigin [
Experimental
]

Reasons to create a type inference variable

TypeVariableValue [
Experimental
]

Type Definitions

TypeVariableMap [
Experimental
]