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.