src/test/ui/const-generics/defaults/rp_impl_trait_fail.stderr

   1 error[E0277]: the trait bound `Uwu<10_u32, 12_u32>: Trait` is not satisfied
   2   --> $DIR/rp_impl_trait_fail.rs:6:14
   3    |
   4 LL | fn rawr() -> impl Trait {
   5    |              ^^^^^^^^^^ the trait `Trait` is not implemented for `Uwu<10_u32, 12_u32>`
   6    |
   7    = help: the trait `Trait` is implemented for `Uwu<N>`
   8
   9 error[E0277]: the trait bound `Uwu<10_u32, 12_u32>: Trait` is not satisfied
  10   --> $DIR/rp_impl_trait_fail.rs:6:25
  11    |
  12 LL |   fn rawr() -> impl Trait {
  13    |  _________________________^
  14 LL | |
  15 LL | |
  16 LL | |     Uwu::<10, 12>
  17 LL | | }
  18    | |_^ the trait `Trait` is not implemented for `Uwu<10_u32, 12_u32>`
  19    |
  20    = help: the trait `Trait` is implemented for `Uwu<N>`
  21
  22 error[E0277]: the trait bound `u32: Traitor<N, N>` is not satisfied
  23   --> $DIR/rp_impl_trait_fail.rs:18:26
  24    |
  25 LL | fn uwu<const N: u8>() -> impl Traitor<N> {
  26    |                          ^^^^^^^^^^^^^^^ the trait `Traitor<N, N>` is not implemented for `u32`
  27    |
  28    = help: the following other types implement trait `Traitor<N, 2_u8>`:
  29              <u32 as Traitor<N, 2_u8>>
  30              <u64 as Traitor<1_u8, 2_u8>>
  31
  32 error[E0277]: the trait bound `u32: Traitor<N, N>` is not satisfied
  33   --> $DIR/rp_impl_trait_fail.rs:18:42
  34    |
  35 LL |   fn uwu<const N: u8>() -> impl Traitor<N> {
  36    |  __________________________________________^
  37 LL | |
  38 LL | |
  39 LL | |     1_u32
  40 LL | | }
  41    | |_^ the trait `Traitor<N, N>` is not implemented for `u32`
  42    |
  43    = help: the following implementations were found:
  44              <u32 as Traitor<N, 2_u8>>
  45              <u64 as Traitor<1_u8, 2_u8>>
  46
  47 error[E0277]: the trait bound `u64: Traitor<1_u8, 1_u8>` is not satisfied
  48   --> $DIR/rp_impl_trait_fail.rs:24:13
  49    |
  50 LL | fn owo() -> impl Traitor {
  51    |             ^^^^^^^^^^^^ the trait `Traitor<1_u8, 1_u8>` is not implemented for `u64`
  52    |
  53    = help: the following other types implement trait `Traitor<N, 2_u8>`:
  54              <u32 as Traitor<N, 2_u8>>
  55              <u64 as Traitor<1_u8, 2_u8>>
  56
  57 error[E0277]: the trait bound `u64: Traitor<1_u8, 1_u8>` is not satisfied
  58   --> $DIR/rp_impl_trait_fail.rs:24:26
  59    |
  60 LL |   fn owo() -> impl Traitor {
  61    |  __________________________^
  62 LL | |
  63 LL | |
  64 LL | |     1_u64
  65 LL | | }
  66    | |_^ the trait `Traitor<1_u8, 1_u8>` is not implemented for `u64`
  67    |
  68    = help: the following implementations were found:
  69              <u64 as Traitor<1_u8, 2_u8>>
  70              <u32 as Traitor<N, 2_u8>>
  71
  72 error: aborting due to 6 previous errors
  73
  74 For more information about this error, try `rustc --explain E0277`.