1 error[E0277]: the trait bound `{integer}: Scalar` is not satisfied
2 --> $DIR/issue-22645.rs:25:5
4 25 | b + 3 //~ ERROR E0277
5 | ^ the trait `Scalar` is not implemented for `{integer}`
7 = help: the following implementations were found:
9 = note: required because of the requirements on the impl of `std::ops::Add<{integer}>` for `Bob`
11 error[E0308]: mismatched types
12 --> $DIR/issue-22645.rs:25:3
14 25 | b + 3 //~ ERROR E0277
15 | ^^^^^ expected (), found struct `Bob`
17 = note: expected type `()`
20 error: aborting due to 2 previous errors