Add Output = expected type trait obligation for known binary operators#96482

Merged

bors merged 2 commits intorust-lang:masterfrom willcrichton:fix-trait-suggestion-for-binops

Jul 16, 2022

+218-44

Commits on Jul 16, 2022

Propagate Expectation around binop typeck code to construct more precise trait obligations for binops.
willcrichton
committed
Fix suggestion regression with incorrect syntactic combination of trait bounds
willcrichton
committed