tests/base_isa_vt_gen4.nit

   1 import kernel
   2
   3 class G[U,V]
   4 end
   5
   6 class H[W]
   7 end
   8
   9 class A
  10         type T: X
  11         fun foo: Object do return new G[H[nullable T], Object]
  12 end
  13
  14 class B
  15         super A
  16         redef type T: Y
  17 end
  18
  19 class X
  20 end
  21 class Y
  22         super X
  23 end
  24
  25 var b = new B
  26 var bt = b.foo