Module rustc_trans::middle::infer::unifyUnstable
[-] [+]
[src]
Structs
Delegate | |
Node | Internal type used to represent the result of a |
Snapshot | At any time, users may snapshot a unification table. The changes made during the snapshot may either be committed or rolled back. |
UnificationTable | Table of unification keys and their values. |
Enums
VarValue | Value of a unification key. We implement Tarjan's union-find
algorithm: when two keys are unified, one of them is converted
into a "redirect" pointing at the other. These redirects form a
DAG: the roots of the DAG (nodes that are not redirected) are each
associated with a value of type |
Traits
ToType | |
UnifyKey | This trait is implemented by any type that can serve as a type
variable. We call such variables unification keys. For example,
this trait is implemented by |
UnifyValue | Trait for valid types that a type variable can be set to. Note that
this is typically not the end type that the value will take on, but
rather an |