src/test/ui/issues/issue-9719.rs

   1 // build-pass
   2 #![allow(dead_code)]
   3 // pretty-expanded FIXME #23616
   4
   5 mod a {
   6     pub enum Enum<T> {
   7         A(T),
   8     }
   9
  10     pub trait X {
  11         fn dummy(&self) { }
  12     }
  13     impl X for isize {}
  14
  15     pub struct Z<'a>(Enum<&'a (dyn X + 'a)>);
  16     fn foo() { let x: isize = 42; let z = Z(Enum::A(&x as &dyn X)); let _ = z; }
  17 }
  18
  19 mod b {
  20     trait X {
  21         fn dummy(&self) { }
  22     }
  23     impl X for isize {}
  24     struct Y<'a>{
  25         x:Option<&'a (dyn X + 'a)>,
  26     }
  27
  28     fn bar() {
  29         let x: isize = 42;
  30         let _y = Y { x: Some(&x as &dyn X) };
  31     }
  32 }
  33
  34 mod c {
  35     pub trait X { fn f(&self); }
  36     impl X for isize { fn f(&self) {} }
  37     pub struct Z<'a>(Option<&'a (dyn X + 'a)>);
  38     fn main() { let x: isize = 42; let z = Z(Some(&x as &dyn X)); let _ = z; }
  39 }
  40
  41 pub fn main() {}