Module rustc_infer::infer::type_variable
source · Structs
Delegate 🔒
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
UndoLog 🔒
Represents a single undo-able action that affects a type inference variable.