Signed-off-by: Jean Privat <jean@pryen.org>
--- /dev/null
+import kernel
+
+class G[E]
+end
+
+#alt1# class H[E: Fail] end
+
+class A
+ #alt2#super Fail
+ #alt3#super G[Fail]
+ #alt2#super Fail[G]
+
+ #alt4#var v: Fail
+ #alt4#fun f(f: Fail): Fail do return f + 1
+ #alt5#var v: Fail
+ #alt5#fun f(f: Fail): Fail do return f + 1
+
+ fun f2 do
+ #alt6#var x: Fail
+ #alt7#var y = new Fail
+ var z = 1
+ var b = z isa Fail
+ z = b + 1
+ var c = z.as(Fail)
+ z = c + 1
+ end
+end
+
+class B
+ super A
+ #alt4# redef fun v do return super + 1
+ #alt4# redef fun f(f) do return f + 1
+ #alt5# redef fun v: Fail do return super + 1
+ #alt5# redef fun f(f: Fail): Fail do return f + 1
+end
--- /dev/null
+./error_type_unk.nit:22,17--20: Type error: class Fail not found in module error_type_unk.
+./error_type_unk.nit:24,16--19: Type error: class Fail not found in module error_type_unk.
--- /dev/null
+alt/error_type_unk_alt1.nit:6,13--16: Type error: class Fail not found in module error_type_unk_alt1.
--- /dev/null
+alt/error_type_unk_alt2.nit:9,8--11: Type error: class Fail not found in module error_type_unk_alt2.
+alt/error_type_unk_alt2.nit:11,8--11: Type error: class Fail not found in module error_type_unk_alt2.
--- /dev/null
+alt/error_type_unk_alt3.nit:10,10--13: Type error: class Fail not found in module error_type_unk_alt3.
--- /dev/null
+alt/error_type_unk_alt4.nit:13,9--12: Type error: class Fail not found in module error_type_unk_alt4.
+alt/error_type_unk_alt4.nit:14,11--14: Type error: class Fail not found in module error_type_unk_alt4.
--- /dev/null
+alt/error_type_unk_alt5.nit:15,9--12: Type error: class Fail not found in module error_type_unk_alt5.
+alt/error_type_unk_alt5.nit:16,11--14: Type error: class Fail not found in module error_type_unk_alt5.
+alt/error_type_unk_alt5.nit:33,16--19: Type error: class Fail not found in module error_type_unk_alt5.
+alt/error_type_unk_alt5.nit:34,18--21: Type error: class Fail not found in module error_type_unk_alt5.
--- /dev/null
+alt/error_type_unk_alt6.nit:19,10--13: Type error: class Fail not found in module error_type_unk_alt6.
+alt/error_type_unk_alt6.nit:22,17--20: Type error: class Fail not found in module error_type_unk_alt6.
+alt/error_type_unk_alt6.nit:24,16--19: Type error: class Fail not found in module error_type_unk_alt6.
--- /dev/null
+alt/error_type_unk_alt7.nit:20,15--18: Type error: class Fail not found in module error_type_unk_alt7.
+alt/error_type_unk_alt7.nit:22,17--20: Type error: class Fail not found in module error_type_unk_alt7.
+alt/error_type_unk_alt7.nit:24,16--19: Type error: class Fail not found in module error_type_unk_alt7.