blob: acf1b764fd92c34147ccd5265a52ec211c2e1413 (
plain)
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
|
#![feature(box_syntax)]
trait X {
fn get_i(&self) -> isize;
}
struct B {
i: isize
}
impl X for B {
fn get_i(&self) -> isize {
self.i
}
}
struct A<'a> {
p: &'a (X+'a)
}
fn make_a<'a>(p: &'a X) -> A<'a> {
A { p: p }
}
fn make_make_a<'a>() -> A<'a> {
let b: Box<B> = box B {i:1};
let bb: &B = &*b; //~ ERROR does not live long enough
make_a(bb)
}
fn main() {
let _a = make_make_a();
}
|
