Module rustc_infer::infer::type_variable
source · Structs§
- These structs (a newtyped TyVid) are used as the unification key for the
eq_relations; they carry aTypeVariableValuealong with them.
eq_relations; they carry a TypeVariableValue along
with them.