[−][src]Module rustc_infer::infer::type_variable

Structs

Delegate
Instantiate
TyVidEqKey

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

TypeVariableData
TypeVariableOrigin
TypeVariableStorage
TypeVariableTable

Enums

TypeVariableOriginKind

Reasons to create a type inference variable

TypeVariableValue
UndoLog

Represents a single undo-able action that affects a type inference variable.