src/test/run-pass/issue-9719.rs

   1 // Copyright 2014 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 mod a {
  12     pub enum Enum<T> {
  13         A(T),
  14     }
  15
  16     pub trait X {
  17         fn dummy(&self) { }
  18     }
  19     impl X for int {}
  20
  21     pub struct Z<'a>(Enum<&'a (X+'a)>);
  22     fn foo() { let x = 42; let z = Z(Enum::A(&x as &X)); let _ = z; }
  23 }
  24
  25 mod b {
  26     trait X {
  27         fn dummy(&self) { }
  28     }
  29     impl X for int {}
  30     struct Y<'a>{
  31         x:Option<&'a (X+'a)>,
  32     }
  33
  34     fn bar() {
  35         let x = 42;
  36         let _y = Y { x: Some(&x as &X) };
  37     }
  38 }
  39
  40 mod c {
  41     pub trait X { fn f(&self); }
  42     impl X for int { fn f(&self) {} }
  43     pub struct Z<'a>(Option<&'a (X+'a)>);
  44     fn main() { let x = 42; let z = Z(Some(&x as &X)); let _ = z; }
  45 }
  46
  47 pub fn main() {}