src/test/ui/generics/generic-object.rs

   1 // run-pass
   2 #![feature(box_syntax)]
   3
   4 trait Foo<T> {
   5     fn get(&self) -> T;
   6 }
   7
   8 struct S {
   9     x: isize
  10 }
  11
  12 impl Foo<isize> for S {
  13     fn get(&self) -> isize {
  14         self.x
  15     }
  16 }
  17
  18 pub fn main() {
  19     let x = box S { x: 1 };
  20     let y = x as Box<dyn Foo<isize>>;
  21     assert_eq!(y.get(), 1);
  22 }