]>
Commit | Line | Data |
---|---|---|
0bf4aa26 | 1 | struct Foo<'a, 'b: 'a>(&'a &'b ()); |
223e47cc | 2 | |
0bf4aa26 XL |
3 | impl<'a, 'b> Foo<'a, 'b> { |
4 | fn xmute(a: &'b ()) -> &'a () { | |
5 | unreachable!() | |
abe05a73 | 6 | } |
ea8adc8c | 7 | } |
abe05a73 | 8 | |
0bf4aa26 | 9 | pub fn foo<'a, 'b>(u: &'b ()) -> &'a () { |
9fa01778 | 10 | Foo::xmute(u) //~ ERROR lifetime may not live long enough |
0bf4aa26 | 11 | } |
abe05a73 XL |
12 | |
13 | fn main() {} |