]>
Commit | Line | Data |
---|---|---|
f9f354fc | 1 | error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied |
5869c6ff | 2 | --> $DIR/issue-67185-2.rs:16:1 |
f9f354fc XL |
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 | |
5869c6ff | 20 | --> $DIR/issue-67185-2.rs:16:1 |
f9f354fc XL |
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 | |
5869c6ff | 38 | --> $DIR/issue-67185-2.rs:26:6 |
f9f354fc XL |
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 | |
5869c6ff | 54 | --> $DIR/issue-67185-2.rs:26:6 |
f9f354fc XL |
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 | |
5869c6ff | 70 | --> $DIR/issue-67185-2.rs:30:14 |
f9f354fc XL |
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 | |
5869c6ff | 86 | --> $DIR/issue-67185-2.rs:30:14 |
f9f354fc XL |
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 | ||
1b1a35ee | 101 | error: aborting due to 6 previous errors |
f9f354fc XL |
102 | |
103 | For more information about this error, try `rustc --explain E0277`. |