1 error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
2 --> $DIR/issue-67185-2.rs:15:5
4 LL | <u8 as Baz>::Quaks: Bar,
5 | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Bar` is not implemented for `[u16; 3]`
7 = help: the following other types implement trait `Bar`:
10 = help: see issue #48214
11 = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
13 error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
14 --> $DIR/issue-67185-2.rs:14:5
16 LL | [<u8 as Baz>::Quaks; 2]: Bar,
17 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Bar` is not implemented for `[[u16; 3]; 2]`
19 = help: the following other types implement trait `Bar`:
22 = help: see issue #48214
23 = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
25 error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
26 --> $DIR/issue-67185-2.rs:21:6
28 LL | impl Foo for FooImpl {}
29 | ^^^ the trait `Bar` is not implemented for `[u16; 3]`
31 = help: the following other types implement trait `Bar`:
34 note: required by a bound in `Foo`
35 --> $DIR/issue-67185-2.rs:15:25
38 | --- required by a bound in this
40 LL | <u8 as Baz>::Quaks: Bar,
41 | ^^^ required by this bound in `Foo`
43 error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
44 --> $DIR/issue-67185-2.rs:21:6
46 LL | impl Foo for FooImpl {}
47 | ^^^ the trait `Bar` is not implemented for `[[u16; 3]; 2]`
49 = help: the following other types implement trait `Bar`:
52 note: required by a bound in `Foo`
53 --> $DIR/issue-67185-2.rs:14:30
56 | --- required by a bound in this
58 LL | [<u8 as Baz>::Quaks; 2]: Bar,
59 | ^^^ required by this bound in `Foo`
61 error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
62 --> $DIR/issue-67185-2.rs:25:14
64 LL | fn f(_: impl Foo) {}
65 | ^^^ the trait `Bar` is not implemented for `[[u16; 3]; 2]`
67 = help: the following other types implement trait `Bar`:
70 note: required by a bound in `Foo`
71 --> $DIR/issue-67185-2.rs:14:30
74 | --- required by a bound in this
76 LL | [<u8 as Baz>::Quaks; 2]: Bar,
77 | ^^^ required by this bound in `Foo`
79 error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
80 --> $DIR/issue-67185-2.rs:25:14
82 LL | fn f(_: impl Foo) {}
83 | ^^^ the trait `Bar` is not implemented for `[u16; 3]`
85 = help: the following other types implement trait `Bar`:
88 note: required by a bound in `Foo`
89 --> $DIR/issue-67185-2.rs:15:25
92 | --- required by a bound in this
94 LL | <u8 as Baz>::Quaks: Bar,
95 | ^^^ required by this bound in `Foo`
97 error: aborting due to 6 previous errors
99 For more information about this error, try `rustc --explain E0277`.