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 LL | | /// The resulting type after applying the `*` operator.
19 LL | | #[stable(feature = "rust1", since = "1.0.0")]
22 LL | | fn mul(self, rhs: Rhs) -> Self::Output;
26 error: aborting due to previous error
28 For more information about this error, try `rustc --explain E0369`.