Elaborate supertrait obligations when deducing closure signatures#101834

Merged

bors merged 3 commits intorust-lang:masterfrom

compiler-errors:super-deduce-closure-sig

Nov 4, 2022

Commits on Nov 3, 2022

Make obligations_for_self_ty only return an obligation
compiler-errors
committed
Elaborate supertrait obligations when deducing closure signature
compiler-errors
committed
reverse obligations for better diagnostics on multiple conflicting fn bounds
compiler-errors
committed