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

   1 error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
   2   --> $DIR/issue-67185-2.rs:16: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:16: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:26:6
  39    |
  40 LL | trait Foo
  41    |       --- required by a bound in this
  42 ...
  43 LL |         <u8 as Baz>::Quaks: Bar,
  44    |                             --- required by this bound in `Foo`
  45 ...
  46 LL | impl Foo for FooImpl {}
  47    |      ^^^ the trait `Bar` is not implemented for `[u16; 3]`
  48    |
  49    = help: the following implementations were found:
  50              <[[u16; 3]; 3] as Bar>
  51              <[u16; 4] as Bar>
  52
  53 error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
  54   --> $DIR/issue-67185-2.rs:26:6
  55    |
  56 LL | trait Foo
  57    |       --- required by a bound in this
  58 ...
  59 LL |         [<u8 as Baz>::Quaks; 2]: Bar,
  60    |                                  --- required by this bound in `Foo`
  61 ...
  62 LL | impl Foo for FooImpl {}
  63    |      ^^^ the trait `Bar` is not implemented for `[[u16; 3]; 2]`
  64    |
  65    = help: the following implementations were found:
  66              <[[u16; 3]; 3] as Bar>
  67              <[u16; 4] as Bar>
  68
  69 error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
  70   --> $DIR/issue-67185-2.rs:30:14
  71    |
  72 LL | trait Foo
  73    |       --- required by a bound in this
  74 ...
  75 LL |         [<u8 as Baz>::Quaks; 2]: Bar,
  76    |                                  --- required by this bound in `Foo`
  77 ...
  78 LL | fn f(_: impl Foo) {}
  79    |              ^^^ the trait `Bar` is not implemented for `[[u16; 3]; 2]`
  80    |
  81    = help: the following implementations were found:
  82              <[[u16; 3]; 3] as Bar>
  83              <[u16; 4] as Bar>
  84
  85 error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
  86   --> $DIR/issue-67185-2.rs:30:14
  87    |
  88 LL | trait Foo
  89    |       --- required by a bound in this
  90 ...
  91 LL |         <u8 as Baz>::Quaks: Bar,
  92    |                             --- required by this bound in `Foo`
  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
 101 error: aborting due to 6 previous errors
 102
 103 For more information about this error, try `rustc --explain E0277`.