Module rustc_infer::infer::type_variable [−][src]
Structs
These structs (a newtyped TyVid) are used as the unification key
for the eq_relations; they carry a TypeVariableValue along
with them.
Enums
Reasons to create a type inference variable
Represents a single undo-able action that affects a type inference variable.