1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
error[E0309]: the parameter type `T` may not live long enough
--> $DIR/regionck-1.rs:9:30
|
LL | type NoTyOutliv<'a, T> = &'a T;
| -- ^^^^^ ...so that the reference type `&'a T` does not outlive the data it points at
| |
| the parameter type `T` must be valid for the lifetime `'a` as defined here...
|
help: consider adding an explicit lifetime bound
|
LL | type NoTyOutliv<'a, T: 'a> = &'a T;
| ++++
error[E0491]: in type `&'a &'b ()`, reference has a longer lifetime than the data it references
--> $DIR/regionck-1.rs:10:31
|
LL | type NoReOutliv<'a, 'b> = &'a &'b ();
| ^^^^^^^^^^
|
note: the pointer is valid for the lifetime `'a` as defined here
--> $DIR/regionck-1.rs:10:21
|
LL | type NoReOutliv<'a, 'b> = &'a &'b ();
| ^^
note: but the referenced data is only valid for the lifetime `'b` as defined here
--> $DIR/regionck-1.rs:10:25
|
LL | type NoReOutliv<'a, 'b> = &'a &'b ();
| ^^
error: aborting due to 2 previous errors
Some errors have detailed explanations: E0309, E0491.
For more information about an error, try `rustc --explain E0309`.
|
