Repository navigation

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

Merged

Add Output = expected type trait obligation for known binary operators#96482
bors merged 2 commits into
rust-lang:masterfrom
willcrichton:fix-trait-suggestion-for-binops

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