Some `FulfillmentContext`-related cleanups - #99743

Merged

bors merged 6 commits into

rust-lang:masterfrom

compiler-errors:fulfillment-context-cleanups

Aug 6, 2022

Commits on Aug 4, 2022

Use ObligationCtxt in main fn return type check
compiler-errors
committed
da59fa7
Remove FulfillmentContext param from fully_normalize
compiler-errors
committed
37d412c
Remove unnecessary FulfillmentContext from need_migrate_deref_output_trait_object
compiler-errors
committed
61d9b16
Use ObligationCtxt in impossible_predicates
compiler-errors
committed
3e48434
Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize`
compiler-errors
committed
fe89475
Address nits
compiler-errors
committed
f5af266