]> git.lizzy.rs Git - rust.git/blob - tests/ui/regions/regions-trait-variance.rs
internally change regions to be covariant
[rust.git] / tests / ui / regions / regions-trait-variance.rs
1 // Issue #12470.
2
3 trait X {
4     fn get_i(&self) -> isize;
5 }
6
7 struct B {
8     i: isize
9 }
10
11 impl X for B {
12     fn get_i(&self) -> isize {
13         self.i
14     }
15 }
16
17 impl Drop for B {
18     fn drop(&mut self) {
19         println!("drop");
20     }
21 }
22
23 struct A<'r> {
24     p: &'r (dyn X + 'r)
25 }
26
27 fn make_a(p: &dyn X) -> A {
28     A{p:p}
29 }
30
31 fn make_make_a<'a>() -> A<'a> {
32
33     let b: Box<B> = Box::new(B {
34         i: 1,
35     });
36
37     let bb: &B = &*b;
38     make_a(bb) //~ ERROR cannot return value referencing local data `*b`
39 }
40
41 fn main() {
42     let a = make_make_a();
43     println!("{}", a.p.get_i());
44 }