]>
Commit | Line | Data |
---|---|---|
48663c56 XL |
1 | error: lifetime may not live long enough |
2 | --> $DIR/regions-infer-covariance-due-to-decl.rs:22:12 | |
3 | | | |
4 | LL | fn use_<'short,'long>(c: Covariant<'long>, | |
5 | | ------ ----- lifetime `'long` defined here | |
6 | | | | |
7 | | lifetime `'short` defined here | |
8 | ... | |
9 | LL | let _: Covariant<'short> = c; | |
10 | | ^^^^^^^^^^^^^^^^^ type annotation requires that `'short` must outlive `'long` | |
60c5eb7d XL |
11 | | |
12 | = help: consider adding the following bound: `'short: 'long` | |
48663c56 XL |
13 | |
14 | error: aborting due to previous error | |
15 |