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

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