Functionsยง
- Attempts to resolve an obligation to an
ImplSource
. The result is a shallowImplSource
resolution, meaning that we do not (necessarily) resolve all nested obligations on the impl. Note that type check should guarantee to us that all nested obligations could be resolved if we wanted to.