found type `u32`
error[E0277]: the trait bound `u32: std::ops::Add<impl Foo>` is not satisfied
- --> $DIR/equality.rs:34:9
+ --> $DIR/equality.rs:34:11
|
34 | n + sum_to(n - 1)
- | ^^^^^^^^^^^^^^^^^ no implementation for `u32 + impl Foo`
+ | ^ no implementation for `u32 + impl Foo`
|
= help: the trait `std::ops::Add<impl Foo>` is not implemented for `u32`