alt/error_virtual_type_alt3.nit:25,12: Type error: expected Object, got T
alt/error_virtual_type_alt3.nit:22,2--25,12: Error: circularity of virtual type definition: T <-> G[T]