error[E0277]: the trait bound `(): Add<A>` is not satisfied
- --> $DIR/associated-types-ICE-when-projecting-out-of-err.rs:33:11
+ --> $DIR/associated-types-ICE-when-projecting-out-of-err.rs:23:11
|
LL | r = r + a;
| ^ the trait `Add<A>` is not implemented for `()`