src/test/run-pass/regions-dependent-addr-of.rs

   1 // Copyright 2012 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // Test lifetimes are linked properly when we create dependent region pointers.
  12 // Issue #3148.
  13
  14 struct A {
  15     value: B
  16 }
  17
  18 struct B {
  19     v1: int,
  20     v2: [int, ..3],
  21     v3: Vec<int> ,
  22     v4: C,
  23     v5: ~C,
  24     v6: Option<C>
  25 }
  26
  27 struct C {
  28     f: int
  29 }
  30
  31 fn get_v1<'v>(a: &'v A) -> &'v int {
  32     // Region inferencer must deduce that &v < L2 < L1
  33     let foo = &a.value; // L1
  34     &foo.v1             // L2
  35 }
  36
  37 fn get_v2<'v>(a: &'v A, i: uint) -> &'v int {
  38     let foo = &a.value;
  39     &foo.v2[i]
  40 }
  41
  42 fn get_v3<'v>(a: &'v A, i: uint) -> &'v int {
  43     let foo = &a.value;
  44     &foo.v3[i]
  45 }
  46
  47 fn get_v4<'v>(a: &'v A, _i: uint) -> &'v int {
  48     let foo = &a.value;
  49     &foo.v4.f
  50 }
  51
  52 fn get_v5<'v>(a: &'v A, _i: uint) -> &'v int {
  53     let foo = &a.value;
  54     &foo.v5.f
  55 }
  56
  57 fn get_v6_a<'v>(a: &'v A, _i: uint) -> &'v int {
  58     match a.value.v6 {
  59         Some(ref v) => &v.f,
  60         None => fail!()
  61     }
  62 }
  63
  64 fn get_v6_b<'v>(a: &'v A, _i: uint) -> &'v int {
  65     match *a {
  66         A { value: B { v6: Some(ref v), .. } } => &v.f,
  67         _ => fail!()
  68     }
  69 }
  70
  71 fn get_v6_c<'v>(a: &'v A, _i: uint) -> &'v int {
  72     match a {
  73         &A { value: B { v6: Some(ref v), .. } } => &v.f,
  74         _ => fail!()
  75     }
  76 }
  77
  78 fn get_v5_ref<'v>(a: &'v A, _i: uint) -> &'v int {
  79     match &a.value {
  80         &B {v5: ~C {f: ref v}, ..} => v
  81     }
  82 }
  83
  84 pub fn main() {
  85     let a = A {value: B {v1: 22,
  86                          v2: [23, 24, 25],
  87                          v3: vec!(26, 27, 28),
  88                          v4: C { f: 29 },
  89                          v5: ~C { f: 30 },
  90                          v6: Some(C { f: 31 })}};
  91
  92     let p = get_v1(&a);
  93     assert_eq!(*p, a.value.v1);
  94
  95     let p = get_v2(&a, 1);
  96     assert_eq!(*p, a.value.v2[1]);
  97
  98     let p = get_v3(&a, 1);
  99     assert_eq!(*p, a.value.v3[1]);
 100
 101     let p = get_v4(&a, 1);
 102     assert_eq!(*p, a.value.v4.f);
 103
 104     let p = get_v5(&a, 1);
 105     assert_eq!(*p, a.value.v5.f);
 106
 107     let p = get_v6_a(&a, 1);
 108     assert_eq!(*p, a.value.v6.unwrap().f);
 109
 110     let p = get_v6_b(&a, 1);
 111     assert_eq!(*p, a.value.v6.unwrap().f);
 112
 113     let p = get_v6_c(&a, 1);
 114     assert_eq!(*p, a.value.v6.unwrap().f);
 115
 116     let p = get_v5_ref(&a, 1);
 117     assert_eq!(*p, a.value.v5.f);
 118 }