Dont make ObligationCtxt
s with diagnostics unnecessarily#142222
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 9, 2025
Merged
Dont make `ObligationCtxt`s with diagnostics unnecessarily#142222bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom