Code: ```rust fn foo() { 1 + "" } ``` r-a diagnostics, with experimental diagnostics enabled: ``` the trait bound `i32: Add<&str>` is not satisfied ------- the trait bound `i32: Add<&str>` is not satisfied ``` We probably add the obligation `lhs: OpTrait<rhs>` twice. <!-- TRIAGEBOT_START --> <!-- TRIAGEBOT_ASSIGN_START --> <!-- TRIAGEBOT_ASSIGN_END --> <!-- TRIAGEBOT_END -->
Code:
r-a diagnostics, with experimental diagnostics enabled:
We probably add the obligation
lhs: OpTrait<rhs>twice.