https://doc.rust-lang.org/stable/nightly-rustc/rustc_data_structures/unify/trait.UnifyValue.html
UnifyValue in rustc_data_structures::unify - Rust
Trait implemented for values associated with a unification key. This trait defines how to merge the values from two keys that are unioned together. This...
data structuresrustcunify