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

Merged

bors merged 2 commits into

rust-lang:masterfrom

willcrichton:fix-trait-suggestion-for-binops

Jul 16, 2022

Commits on Jul 16, 2022

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