1 error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
2 --> $DIR/issue-67185-2.rs:17:1
7 LL | | [<u8 as Baz>::Quaks; 2]: Bar,
8 LL | | <u8 as Baz>::Quaks: Bar,
11 | |_^ the trait `Bar` is not implemented for `[u16; 3]`
13 = help: the following implementations were found:
14 <[[u16; 3]; 3] as Bar>
16 = help: see issue #48214
17 = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
19 error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
20 --> $DIR/issue-67185-2.rs:17:1
25 LL | | [<u8 as Baz>::Quaks; 2]: Bar,
26 LL | | <u8 as Baz>::Quaks: Bar,
29 | |_^ the trait `Bar` is not implemented for `[[u16; 3]; 2]`
31 = help: the following implementations were found:
32 <[[u16; 3]; 3] as Bar>
34 = help: see issue #48214
35 = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable
37 error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
38 --> $DIR/issue-67185-2.rs:27:6
41 | --- required by a bound in this
43 LL | <u8 as Baz>::Quaks: Bar,
44 | --- required by this bound in `Foo`
46 LL | impl Foo for FooImpl {}
47 | ^^^ the trait `Bar` is not implemented for `[u16; 3]`
49 = help: the following implementations were found:
50 <[[u16; 3]; 3] as Bar>
53 error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
54 --> $DIR/issue-67185-2.rs:27:6
57 | --- required by a bound in this
59 LL | [<u8 as Baz>::Quaks; 2]: Bar,
60 | --- required by this bound in `Foo`
62 LL | impl Foo for FooImpl {}
63 | ^^^ the trait `Bar` is not implemented for `[[u16; 3]; 2]`
65 = help: the following implementations were found:
66 <[[u16; 3]; 3] as Bar>
69 error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
70 --> $DIR/issue-67185-2.rs:31:14
73 | --- required by a bound in this
75 LL | [<u8 as Baz>::Quaks; 2]: Bar,
76 | --- required by this bound in `Foo`
78 LL | fn f(_: impl Foo) {}
79 | ^^^ the trait `Bar` is not implemented for `[[u16; 3]; 2]`
81 = help: the following implementations were found:
82 <[[u16; 3]; 3] as Bar>
85 error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
86 --> $DIR/issue-67185-2.rs:31:14
89 | --- required by a bound in this
91 LL | <u8 as Baz>::Quaks: Bar,
92 | --- required by this bound in `Foo`
94 LL | fn f(_: impl Foo) {}
95 | ^^^ the trait `Bar` is not implemented for `[u16; 3]`
97 = help: the following implementations were found:
98 <[[u16; 3]; 3] as Bar>
101 error: aborting due to 6 previous errors
103 For more information about this error, try `rustc --explain E0277`.