src/test/ui/const-generics/issues/issue-67185-2.stderr

   1 error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
   2   --> $DIR/issue-67185-2.rs:12:1
   3    |
   4 LL | / trait Foo
   5 LL | |
   6 LL | |     where
   7 LL | |         [<u8 as Baz>::Quaks; 2]: Bar,
   8 LL | |         <u8 as Baz>::Quaks: Bar,
   9 LL | | {
  10 LL | | }
  11    | |_^ the trait `Bar` is not implemented for `[u16; 3]`
  12    |
  13    = help: the following implementations were found:
  14              <[[u16; 3]; 3] as Bar>
  15              <[u16; 4] as Bar>
  16    = help: see issue #48214
  17    = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
  18
  19 error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
  20   --> $DIR/issue-67185-2.rs:12:1
  21    |
  22 LL | / trait Foo
  23 LL | |
  24 LL | |     where
  25 LL | |         [<u8 as Baz>::Quaks; 2]: Bar,
  26 LL | |         <u8 as Baz>::Quaks: Bar,
  27 LL | | {
  28 LL | | }
  29    | |_^ the trait `Bar` is not implemented for `[[u16; 3]; 2]`
  30    |
  31    = help: the following implementations were found:
  32              <[[u16; 3]; 3] as Bar>
  33              <[u16; 4] as Bar>
  34    = help: see issue #48214
  35    = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
  36
  37 error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
  38   --> $DIR/issue-67185-2.rs:22:6
  39    |
  40 LL | impl Foo for FooImpl {}
  41    |      ^^^ the trait `Bar` is not implemented for `[u16; 3]`
  42    |
  43    = help: the following implementations were found:
  44              <[[u16; 3]; 3] as Bar>
  45              <[u16; 4] as Bar>
  46 note: required by a bound in `Foo`
  47   --> $DIR/issue-67185-2.rs:16:29
  48    |
  49 LL | trait Foo
  50    |       --- required by a bound in this
  51 ...
  52 LL |         <u8 as Baz>::Quaks: Bar,
  53    |                             ^^^ required by this bound in `Foo`
  54
  55 error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
  56   --> $DIR/issue-67185-2.rs:22:6
  57    |
  58 LL | impl Foo for FooImpl {}
  59    |      ^^^ the trait `Bar` is not implemented for `[[u16; 3]; 2]`
  60    |
  61    = help: the following implementations were found:
  62              <[[u16; 3]; 3] as Bar>
  63              <[u16; 4] as Bar>
  64 note: required by a bound in `Foo`
  65   --> $DIR/issue-67185-2.rs:15:34
  66    |
  67 LL | trait Foo
  68    |       --- required by a bound in this
  69 ...
  70 LL |         [<u8 as Baz>::Quaks; 2]: Bar,
  71    |                                  ^^^ required by this bound in `Foo`
  72
  73 error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
  74   --> $DIR/issue-67185-2.rs:26:14
  75    |
  76 LL | fn f(_: impl Foo) {}
  77    |              ^^^ the trait `Bar` is not implemented for `[[u16; 3]; 2]`
  78    |
  79    = help: the following implementations were found:
  80              <[[u16; 3]; 3] as Bar>
  81              <[u16; 4] as Bar>
  82 note: required by a bound in `Foo`
  83   --> $DIR/issue-67185-2.rs:15:34
  84    |
  85 LL | trait Foo
  86    |       --- required by a bound in this
  87 ...
  88 LL |         [<u8 as Baz>::Quaks; 2]: Bar,
  89    |                                  ^^^ required by this bound in `Foo`
  90
  91 error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
  92   --> $DIR/issue-67185-2.rs:26:14
  93    |
  94 LL | fn f(_: impl Foo) {}
  95    |              ^^^ the trait `Bar` is not implemented for `[u16; 3]`
  96    |
  97    = help: the following implementations were found:
  98              <[[u16; 3]; 3] as Bar>
  99              <[u16; 4] as Bar>
 100 note: required by a bound in `Foo`
 101   --> $DIR/issue-67185-2.rs:16:29
 102    |
 103 LL | trait Foo
 104    |       --- required by a bound in this
 105 ...
 106 LL |         <u8 as Baz>::Quaks: Bar,
 107    |                             ^^^ required by this bound in `Foo`
 108
 109 error: aborting due to 6 previous errors
 110
 111 For more information about this error, try `rustc --explain E0277`.