-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]
+alt/error_virtual_type_alt3.nit:25,12: Type Error: expected `Object`, got `T`.
+alt/error_virtual_type_alt3.nit:22,2--25,13: Error: circularity of virtual type definition: T <-> G[T].