Module unify 

Unification and canonicalization logic.

Modules

resolve_completely 🔒

Structs

InferenceTable 🔒

NestedObligationsForSelfTy 🔒

Functions

could_unify

Check if types unify.

could_unify_deeply

Check if types unify eagerly making sure there are no unresolved goals.

could_unify_impl 🔒