src/test/ui/issues/issue-35869.stderr

   1 error[E0053]: method `foo` has an incompatible type for trait
   2   --> $DIR/issue-35869.rs:11:15
   3    |
   4 LL |     fn foo(_: fn(u8) -> ());
   5    |               ------------ type in trait
   6 ...
   7 LL |     fn foo(_: fn(u16) -> ()) {}
   8    |               ^^^^^^^^^^^^^ expected u8, found u16
   9    |
  10    = note: expected type `fn(fn(u8))`
  11               found type `fn(fn(u16))`
  12
  13 error[E0053]: method `bar` has an incompatible type for trait
  14   --> $DIR/issue-35869.rs:13:15
  15    |
  16 LL |     fn bar(_: Option<u8>);
  17    |               ---------- type in trait
  18 ...
  19 LL |     fn bar(_: Option<u16>) {}
  20    |               ^^^^^^^^^^^ expected u8, found u16
  21    |
  22    = note: expected type `fn(std::option::Option<u8>)`
  23               found type `fn(std::option::Option<u16>)`
  24
  25 error[E0053]: method `baz` has an incompatible type for trait
  26   --> $DIR/issue-35869.rs:15:15
  27    |
  28 LL |     fn baz(_: (u8, u16));
  29    |               --------- type in trait
  30 ...
  31 LL |     fn baz(_: (u16, u16)) {}
  32    |               ^^^^^^^^^^ expected u8, found u16
  33    |
  34    = note: expected type `fn((u8, u16))`
  35               found type `fn((u16, u16))`
  36
  37 error[E0053]: method `qux` has an incompatible type for trait
  38   --> $DIR/issue-35869.rs:17:17
  39    |
  40 LL |     fn qux() -> u8;
  41    |                 -- type in trait
  42 ...
  43 LL |     fn qux() -> u16 { 5u16 }
  44    |                 ^^^ expected u8, found u16
  45    |
  46    = note: expected type `fn() -> u8`
  47               found type `fn() -> u16`
  48
  49 error: aborting due to 4 previous errors
  50
  51 For more information about this error, try `rustc --explain E0053`.