Use obligation ctxt instead of dyn TraitEngine#104509

Merged

bors merged 3 commits intorust-lang:masterfrom

spastorino:use-obligation-ctxt

Nov 23, 2022

Commits on Nov 23, 2022

Use ObligationCtxt intead of dyn TraitEngine
spastorino
committed
Call fully_solve_obligations instead of repeating code
spastorino
committed
Pass ObligationCtxt from enter_canonical_trait_query and use ObligationCtxt API
spastorino
committed