]>
Commit | Line | Data |
---|---|---|
f9f354fc XL |
1 | warning: the feature `const_generics` is incomplete and may not be safe to use and/or cause compiler crashes |
2 | --> $DIR/issue-67185-2.rs:1:12 | |
3 | | | |
4 | LL | #![feature(const_generics)] | |
5 | | ^^^^^^^^^^^^^^ | |
6 | | | |
7 | = note: `#[warn(incomplete_features)]` on by default | |
8 | = note: see issue #44580 <https://github.com/rust-lang/rust/issues/44580> for more information | |
9 | ||
10 | error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied | |
11 | --> $DIR/issue-67185-2.rs:15:1 | |
12 | | | |
13 | LL | / trait Foo | |
14 | LL | | | |
15 | LL | | where | |
16 | LL | | [<u8 as Baz>::Quaks; 2]: Bar, | |
17 | LL | | <u8 as Baz>::Quaks: Bar, | |
18 | LL | | { | |
19 | LL | | } | |
20 | | |_^ the trait `Bar` is not implemented for `[u16; 3]` | |
21 | | | |
22 | = help: the following implementations were found: | |
23 | <[[u16; 3]; 3] as Bar> | |
24 | <[u16; 4] as Bar> | |
25 | = help: see issue #48214 | |
26 | = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable | |
27 | ||
28 | error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied | |
29 | --> $DIR/issue-67185-2.rs:15:1 | |
30 | | | |
31 | LL | / trait Foo | |
32 | LL | | | |
33 | LL | | where | |
34 | LL | | [<u8 as Baz>::Quaks; 2]: Bar, | |
35 | LL | | <u8 as Baz>::Quaks: Bar, | |
36 | LL | | { | |
37 | LL | | } | |
38 | | |_^ the trait `Bar` is not implemented for `[[u16; 3]; 2]` | |
39 | | | |
40 | = help: the following implementations were found: | |
41 | <[[u16; 3]; 3] as Bar> | |
42 | <[u16; 4] as Bar> | |
43 | = help: see issue #48214 | |
44 | = help: add `#![feature(trivial_bounds)]` to the crate attributes to enable | |
45 | ||
46 | error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied | |
47 | --> $DIR/issue-67185-2.rs:25:6 | |
48 | | | |
49 | LL | trait Foo | |
50 | | --- required by a bound in this | |
51 | ... | |
52 | LL | <u8 as Baz>::Quaks: Bar, | |
53 | | --- required by this bound in `Foo` | |
54 | ... | |
55 | LL | impl Foo for FooImpl {} | |
56 | | ^^^ the trait `Bar` is not implemented for `[u16; 3]` | |
57 | | | |
58 | = help: the following implementations were found: | |
59 | <[[u16; 3]; 3] as Bar> | |
60 | <[u16; 4] as Bar> | |
61 | ||
62 | error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied | |
63 | --> $DIR/issue-67185-2.rs:25:6 | |
64 | | | |
65 | LL | trait Foo | |
66 | | --- required by a bound in this | |
67 | ... | |
68 | LL | [<u8 as Baz>::Quaks; 2]: Bar, | |
69 | | --- required by this bound in `Foo` | |
70 | ... | |
71 | LL | impl Foo for FooImpl {} | |
72 | | ^^^ the trait `Bar` is not implemented for `[[u16; 3]; 2]` | |
73 | | | |
74 | = help: the following implementations were found: | |
75 | <[[u16; 3]; 3] as Bar> | |
76 | <[u16; 4] as Bar> | |
77 | ||
78 | error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied | |
79 | --> $DIR/issue-67185-2.rs:29:14 | |
80 | | | |
81 | LL | trait Foo | |
82 | | --- required by a bound in this | |
83 | ... | |
84 | LL | [<u8 as Baz>::Quaks; 2]: Bar, | |
85 | | --- required by this bound in `Foo` | |
86 | ... | |
87 | LL | fn f(_: impl Foo) {} | |
88 | | ^^^ the trait `Bar` is not implemented for `[[u16; 3]; 2]` | |
89 | | | |
90 | = help: the following implementations were found: | |
91 | <[[u16; 3]; 3] as Bar> | |
92 | <[u16; 4] as Bar> | |
93 | ||
94 | error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied | |
95 | --> $DIR/issue-67185-2.rs:29:14 | |
96 | | | |
97 | LL | trait Foo | |
98 | | --- required by a bound in this | |
99 | ... | |
100 | LL | <u8 as Baz>::Quaks: Bar, | |
101 | | --- required by this bound in `Foo` | |
102 | ... | |
103 | LL | fn f(_: impl Foo) {} | |
104 | | ^^^ the trait `Bar` is not implemented for `[u16; 3]` | |
105 | | | |
106 | = help: the following implementations were found: | |
107 | <[[u16; 3]; 3] as Bar> | |
108 | <[u16; 4] as Bar> | |
109 | ||
110 | error: aborting due to 6 previous errors; 1 warning emitted | |
111 | ||
112 | For more information about this error, try `rustc --explain E0277`. |