]>
Commit | Line | Data |
---|---|---|
0731742a XL |
1 | error: implementation of `Foo` is not general enough |
2 | --> $DIR/issue-54302-cases.rs:63:5 | |
0bf4aa26 | 3 | | |
6a06907d XL |
4 | LL | <u32 as RefFoo<u32>>::ref_foo(a) |
5 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough | |
e1599b0c XL |
6 | | |
7 | = note: `Foo<'static, u32>` would have to be implemented for the type `&'0 u32`, for any lifetime `'0`... | |
8 | = note: ...but `Foo<'_, u32>` is actually implemented for the type `&'1 u32`, for some specific lifetime `'1` | |
0bf4aa26 | 9 | |
0731742a XL |
10 | error: implementation of `Foo` is not general enough |
11 | --> $DIR/issue-54302-cases.rs:69:5 | |
0bf4aa26 | 12 | | |
6a06907d XL |
13 | LL | <i32 as RefFoo<i32>>::ref_foo(a) |
14 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough | |
0bf4aa26 | 15 | | |
e1599b0c XL |
16 | = note: `Foo<'static, i32>` would have to be implemented for the type `&'0 i32`, for any lifetime `'0`... |
17 | = note: ...but `Foo<'_, i32>` is actually implemented for the type `&'1 i32`, for some specific lifetime `'1` | |
0bf4aa26 | 18 | |
0731742a XL |
19 | error: implementation of `Foo` is not general enough |
20 | --> $DIR/issue-54302-cases.rs:75:5 | |
0bf4aa26 | 21 | | |
6a06907d XL |
22 | LL | <u64 as RefFoo<u64>>::ref_foo(a) |
23 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough | |
0bf4aa26 | 24 | | |
e1599b0c XL |
25 | = note: `Foo<'static, u64>` would have to be implemented for the type `&'0 u64`, for any lifetime `'0`... |
26 | = note: ...but `Foo<'_, u64>` is actually implemented for the type `&'1 u64`, for some specific lifetime `'1` | |
0bf4aa26 | 27 | |
0731742a XL |
28 | error: implementation of `Foo` is not general enough |
29 | --> $DIR/issue-54302-cases.rs:81:5 | |
0bf4aa26 | 30 | | |
6a06907d XL |
31 | LL | <i64 as RefFoo<i64>>::ref_foo(a) |
32 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough | |
0bf4aa26 | 33 | | |
e1599b0c XL |
34 | = note: `Foo<'static, i64>` would have to be implemented for the type `&'0 i64`, for any lifetime `'0`... |
35 | = note: ...but `Foo<'_, i64>` is actually implemented for the type `&'1 i64`, for some specific lifetime `'1` | |
0bf4aa26 XL |
36 | |
37 | error: aborting due to 4 previous errors | |
38 |