Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Lazily resolve type-alias-impl-trait defining uses
by using an opaque type obligation to bubble up comparisons between opaque types and other types Also uses proper obligation causes so that the body id works, because out of some reason nll uses body ids for logic instead of just diagnostics.
- Loading branch information