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