src/test/ui/regions/regions-free-region-ordering-incorrect.rs

   1 // Copyright 2013 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 that free regions ordering only goes one way. That is,
  12 // we have `&'a Node<'b, T>`, which implies that `'a <= 'b`,
  13 // but not `'b <= 'a`. Hence returning `&self.val` (which has lifetime
  14 // `'a`) where `'b` is expected yields an error.
  15 //
  16 // This test began its life as a test for issue #4325.
  17
  18 struct Node<'b, T:'b> {
  19   val: T,
  20   next: Option<&'b Node<'b, T>>
  21 }
  22
  23 impl<'b, T> Node<'b, T> {
  24   fn get<'a>(&'a self) -> &'b T {
  25     match self.next {
  26       Some(ref next) => next.get(),
  27       None => &self.val //~ ERROR cannot infer
  28     }
  29   }
  30 }
  31
  32 fn main() {}