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

   1 warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes
   2   --> $DIR/equality.rs:1:12
   3    |
   4 LL | #![feature(specialization)]
   5    |            ^^^^^^^^^^^^^^
   6    |
   7    = note: `#[warn(incomplete_features)]` on by default
   8    = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
   9    = help: consider using `min_specialization` instead, which is more stable and complete
  10
  11 error[E0308]: mismatched types
  12   --> $DIR/equality.rs:15:5
  13    |
  14 LL | fn two(x: bool) -> impl Foo {
  15    |                    -------- the expected opaque type
  16 ...
  17 LL |     0_u32
  18    |     ^^^^^ expected `i32`, found `u32`
  19    |
  20    = note: expected opaque type `impl Foo`
  21                      found type `u32`
  22
  23 error[E0277]: cannot add `impl Foo` to `u32`
  24   --> $DIR/equality.rs:24:11
  25    |
  26 LL |         n + sum_to(n - 1)
  27    |           ^ no implementation for `u32 + impl Foo`
  28    |
  29    = help: the trait `Add<impl Foo>` is not implemented for `u32`
  30
  31 error[E0283]: type annotations needed
  32   --> $DIR/equality.rs:21:5
  33    |
  34 LL | /     if n == 0 {
  35 LL | |         0
  36 LL | |     } else {
  37 LL | |         n + sum_to(n - 1)
  38 LL | |
  39 LL | |     }
  40    | |_____^ cannot infer type for type `{integer}`
  41    |
  42    = note: multiple `impl`s satisfying `{integer}: ToString` found in the `alloc` crate:
  43            - impl ToString for i8;
  44            - impl ToString for u8;
  45 note: required because of the requirements on the impl of `Foo` for `{integer}`
  46   --> $DIR/equality.rs:5:26
  47    |
  48 LL | impl<T: Copy + ToString> Foo for T {}
  49    |                          ^^^     ^
  50
  51 error: aborting due to 3 previous errors; 1 warning emitted
  52
  53 Some errors have detailed explanations: E0277, E0283, E0308.
  54 For more information about an error, try `rustc --explain E0277`.