Check that closures satisfy their where bounds#96899

Merged

bors merged 2 commits intorust-lang:masterfrom

oli-obk:closure_wf_check_bounds

May 13, 2022

Commits on May 13, 2022

Check that closures satisfy their where bounds
oli-obk
committed
For non-defining opaque type usage errors, don't try to also prove all trait bounds
oli-obk
committed