Use ObligationCtxt in favor of TraitEngine in many more places#124588
Merged
bors merged 2 commits intorust-lang:masterfrom May 3, 2024
Merged
Use ObligationCtxt in favor of TraitEngine in many more places#124588bors merged 2 commits intorust-lang:masterfrom
ObligationCtxt in favor of TraitEngine in many more places#124588bors merged 2 commits intorust-lang:masterfrom