1 error[E0369]: cannot add `T` to `Wrapper<T>`
2 --> $DIR/restrict-type-not-param.rs:8:7
9 note: an implementation of `Add<_>` might be missing for `Wrapper<T>`
10 --> $DIR/restrict-type-not-param.rs:3:1
12 LL | struct Wrapper<T>(T);
13 | ^^^^^^^^^^^^^^^^^ must implement `Add<_>`
14 note: the following trait must be implemented
15 --> $SRC_DIR/core/src/ops/arith.rs:LL:COL
17 LL | pub trait Add<Rhs = Self> {
18 | ^^^^^^^^^^^^^^^^^^^^^^^^^
19 help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
21 LL | fn qux<T>(a: Wrapper<T>, b: T) -> T where Wrapper<T>: Add<T, Output = T> {
22 | ++++++++++++++++++++++++++++++++++++
24 error: aborting due to previous error
26 For more information about this error, try `rustc --explain E0369`.