1 error[E0369]: cannot multiply `Thing` by `{integer}`
2 --> $DIR/issue-3820.rs:14:15
9 note: an implementation of `Mul<_>` might be missing for `Thing`
10 --> $DIR/issue-3820.rs:1:1
13 | ^^^^^^^^^^^^ must implement `Mul<_>`
14 note: the following trait must be implemented
15 --> $SRC_DIR/core/src/ops/arith.rs:LL:COL
17 LL | pub trait Mul<Rhs = Self> {
18 | ^^^^^^^^^^^^^^^^^^^^^^^^^
20 error: aborting due to previous error
22 For more information about this error, try `rustc --explain E0369`.