src/test/ui/issues/issue-7673-cast-generically-implemented-trait.rs

   1 // check-pass
   2 #![allow(dead_code)]
   3 // pretty-expanded FIXME #23616
   4
   5 /*
   6
   7 #7673 Polymorphically creating traits barely works
   8
   9 */
  10
  11 #![feature(box_syntax)]
  12
  13 pub fn main() {}
  14
  15 trait A {
  16     fn dummy(&self) { }
  17 }
  18
  19 impl<T: 'static> A for T {}
  20
  21 fn owned2<T: 'static>(a: Box<T>) { a as Box<dyn A>; }
  22 fn owned3<T: 'static>(a: Box<T>) { box a as Box<dyn A>; }