blob: e7aa8795f01a6aeed8894c91771c630dbc642f70 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#![warn(unused_lifetimes)]
fn static_id<'a,'b>(t: &'a ()) -> &'static () where 'a: 'static { t }
//~^ WARN lifetime parameter `'b` never used
//~| WARN unnecessary lifetime parameter `'a`
fn static_id_indirect<'a,'b>(t: &'a ()) -> &'static ()
where 'a: 'b, 'b: 'static { t }
//~^ WARN unnecessary lifetime parameter `'b`
fn static_id_wrong_way<'a>(t: &'a ()) -> &'static () where 'static: 'a {
t
//~^ ERROR lifetime may not live long enough
}
fn error(u: &(), v: &()) {
static_id(&u);
//~^ ERROR borrowed data escapes outside of function [E0521]
static_id_indirect(&v);
//~^ ERROR borrowed data escapes outside of function [E0521]
}
fn main() {}
|
