Merge: doc: fixed some typos and other misc. corrections

[nit.git] / tests / base_isa_vt_gen3.nit

diff --git a/tests/base_isa_vt_gen3.nit b/tests/base_isa_vt_gen3.nit
index 1aec20d..d6c2f0b 100644 (file)
--- a/tests/base_isa_vt_gen3.nit
+++ b/tests/base_isa_vt_gen3.nit
@@ -17,7 +17,7 @@
 import base_minimal
 
 class A[X]
-       type T: Object
+       type T: nullable Object
 
        fun foo(o: Object): Bool do
                return o isa T
@@ -31,7 +31,7 @@ end
 
 class C[X]
        super B[X]
-       redef type T: C[B[X]]
+       redef type T: C[X]
 end
 
 var a = new A[Object]
@@ -45,7 +45,7 @@ assert b.foo(new C[Object])
 var c = new C[Object]
 assert not c.foo(new A[Object])
 assert not c.foo(new B[Object])
-assert not c.foo(new C[Object])
+assert c.foo(new C[Object])
 assert c.foo(new C[B[Object]])
 assert c.foo(new C[B[Bool]])