src/test/ui/impl-trait/equality.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/equality.rs:25:5
   3    |
   4 25 |     0_u32
   5    |     ^^^^^ expected i32, found u32
   6    |
   7    = note: expected type `i32`
   8               found type `u32`
   9
  10 error[E0277]: the trait bound `u32: std::ops::Add<impl Foo>` is not satisfied
  11   --> $DIR/equality.rs:34:11
  12    |
  13 34 |         n + sum_to(n - 1)
  14    |           ^ no implementation for `u32 + impl Foo`
  15    |
  16    = help: the trait `std::ops::Add<impl Foo>` is not implemented for `u32`
  17
  18 error[E0308]: mismatched types
  19   --> $DIR/equality.rs:53:18
  20    |
  21 53 |     let _: u32 = hide(0_u32);
  22    |                  ^^^^^^^^^^^ expected u32, found anonymized type
  23    |
  24    = note: expected type `u32`
  25               found type `impl Foo`
  26
  27 error[E0308]: mismatched types
  28   --> $DIR/equality.rs:59:18
  29    |
  30 59 |     let _: i32 = Leak::leak(hide(0_i32));
  31    |                  ^^^^^^^^^^^^^^^^^^^^^^^ expected i32, found associated type
  32    |
  33    = note: expected type `i32`
  34               found type `<impl Foo as Leak>::T`
  35
  36 error[E0308]: mismatched types
  37   --> $DIR/equality.rs:66:10
  38    |
  39 66 |     x = (x.1,
  40    |          ^^^ expected u32, found i32
  41    |
  42    = note: expected type `impl Foo` (u32)
  43               found type `impl Foo` (i32)
  44
  45 error[E0308]: mismatched types
  46   --> $DIR/equality.rs:69:10
  47    |
  48 69 |          x.0);
  49    |          ^^^ expected i32, found u32
  50    |
  51    = note: expected type `impl Foo` (i32)
  52               found type `impl Foo` (u32)
  53
  54 error: aborting due to 6 previous errors
  55