tests/ui/typeck/issue-81293.stderr

error[E0308]: mismatched types
  --> $DIR/issue-81293.rs:6:13
   |
LL |     a = c + b * 5;
   |             ^^^^^ expected `usize`, found `u16`

error[E0308]: mismatched types
  --> $DIR/issue-81293.rs:6:9
   |
LL |     let a: u16;
   |            --- expected due to this type
...
LL |     a = c + b * 5;
   |         ^^^^^^^^^ expected `u16`, found `usize`

error[E0277]: cannot add `u16` to `usize`
  --> $DIR/issue-81293.rs:6:11
   |
LL |     a = c + b * 5;
   |           ^ no implementation for `usize + u16`
   |
   = help: the trait `Add<u16>` is not implemented for `usize`
help: the following other types implement trait `Add<Rhs>`
  --> $SRC_DIR/core/src/ops/arith.rs:LL:COL
   |
   = note: `usize` implements `Add`
  ::: $SRC_DIR/core/src/ops/arith.rs:LL:COL
   |
   = note: in this macro invocation
  --> $SRC_DIR/core/src/internal_macros.rs:LL:COL
   |
   = note: `&usize` implements `Add<usize>`
  ::: $SRC_DIR/core/src/internal_macros.rs:LL:COL
   |
   = note: `usize` implements `Add<&usize>`
  ::: $SRC_DIR/core/src/internal_macros.rs:LL:COL
   |
   = note: `&usize` implements `Add`
   = note: this error originates in the macro `add_impl` (in Nightly builds, run with -Z macro-backtrace for more info)

error: aborting due to 3 previous errors

Some errors have detailed explanations: E0277, E0308.
For more information about an error, try `rustc --explain E0277`.