Module rustc_infer::infer::type_variable

Structs

• 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