]> git.proxmox.com Git - rustc.git/blame - src/test/ui/const-generics/issues/issue-67185-2.full.stderr
New upstream version 1.55.0+dfsg1
[rustc.git] / src / test / ui / const-generics / issues / issue-67185-2.full.stderr
CommitLineData
f9f354fc 1error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
5869c6ff 2 --> $DIR/issue-67185-2.rs:16:1
f9f354fc
XL
3 |
4LL | / trait Foo
5LL | |
6LL | | where
7LL | | [<u8 as Baz>::Quaks; 2]: Bar,
8LL | | <u8 as Baz>::Quaks: Bar,
9LL | | {
10LL | | }
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
19error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
5869c6ff 20 --> $DIR/issue-67185-2.rs:16:1
f9f354fc
XL
21 |
22LL | / trait Foo
23LL | |
24LL | | where
25LL | | [<u8 as Baz>::Quaks; 2]: Bar,
26LL | | <u8 as Baz>::Quaks: Bar,
27LL | | {
28LL | | }
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
37error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
5869c6ff 38 --> $DIR/issue-67185-2.rs:26:6
f9f354fc
XL
39 |
40LL | trait Foo
41 | --- required by a bound in this
42...
43LL | <u8 as Baz>::Quaks: Bar,
44 | --- required by this bound in `Foo`
45...
46LL | 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
53error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
5869c6ff 54 --> $DIR/issue-67185-2.rs:26:6
f9f354fc
XL
55 |
56LL | trait Foo
57 | --- required by a bound in this
58...
59LL | [<u8 as Baz>::Quaks; 2]: Bar,
60 | --- required by this bound in `Foo`
61...
62LL | 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
69error[E0277]: the trait bound `[[u16; 3]; 2]: Bar` is not satisfied
5869c6ff 70 --> $DIR/issue-67185-2.rs:30:14
f9f354fc
XL
71 |
72LL | trait Foo
73 | --- required by a bound in this
74...
75LL | [<u8 as Baz>::Quaks; 2]: Bar,
76 | --- required by this bound in `Foo`
77...
78LL | 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
85error[E0277]: the trait bound `[u16; 3]: Bar` is not satisfied
5869c6ff 86 --> $DIR/issue-67185-2.rs:30:14
f9f354fc
XL
87 |
88LL | trait Foo
89 | --- required by a bound in this
90...
91LL | <u8 as Baz>::Quaks: Bar,
92 | --- required by this bound in `Foo`
93...
94LL | 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 101error: aborting due to 6 previous errors
f9f354fc
XL
102
103For more information about this error, try `rustc --explain E0277`.