]>
Commit | Line | Data |
---|---|---|
f035d41b XL |
1 | error: implementation of `Foo` is not general enough |
2 | --> $DIR/hrtb-just-for-static.rs:24:5 | |
b7449926 | 3 | | |
6a06907d XL |
4 | LL | want_hrtb::<StaticInt>() |
5 | | ^^^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough | |
b7449926 | 6 | | |
f035d41b | 7 | = note: `StaticInt` must implement `Foo<&'0 isize>`, for any lifetime `'0`... |
6a06907d | 8 | = note: ...but it actually implements `Foo<&'static isize>` |
b7449926 | 9 | |
f035d41b XL |
10 | error: implementation of `Foo` is not general enough |
11 | --> $DIR/hrtb-just-for-static.rs:30:5 | |
0731742a | 12 | | |
6a06907d XL |
13 | LL | want_hrtb::<&'a u32>() |
14 | | ^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough | |
0731742a | 15 | | |
f035d41b XL |
16 | = note: `Foo<&'0 isize>` would have to be implemented for the type `&'a u32`, for any lifetime `'0`... |
17 | = note: ...but `Foo<&'1 isize>` is actually implemented for the type `&'1 u32`, for some specific lifetime `'1` | |
0731742a XL |
18 | |
19 | error: aborting due to 2 previous errors | |
b7449926 | 20 |