1 error[E0369]: cannot multiply `{integer}` to `Thing`
2 --> $DIR/issue-3820.rs:14:15
9 = note: an implementation of `std::ops::Mul` might be missing for `Thing`
11 error: aborting due to previous error
13 For more information about this error, try `rustc --explain E0369`.