tests: add base_upcast

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/tests/base_upcast.nit b/tests/base_upcast.nit
new file mode 100644 (file)
index 0000000..2e6f695
--- /dev/null
+++ b/tests/base_upcast.nit
@@ -0,0 +1,79 @@
+import kernel
+
+class A[E]
+end
+
+class B[F] super A[F]
+end
+
+class C[G] super B[Int]
+end
+
+class D super C[Bool]
+end
+
+fun maybe: Bool do return true
+
+var ai = new A[Int]
+var ab = new A[Bool]
+var bi = new B[Int]
+var bb = new B[Bool]
+var ci = new C[Int]
+var cb = new C[Bool]
+var d = new D
+
+if maybe then ai = ai
+#alt1#if maybe then ai = ab
+if maybe then ai = bi
+#alt1#if maybe then ai = bb
+if maybe then ai = ci
+if maybe then ai = cb
+if maybe then ai = d
+
+#alt1#if maybe then ab = ai
+if maybe then ab = ab
+#alt1#if maybe then ab = bi
+if maybe then ab = bb
+#alt1#if maybe then ab = ci
+#alt1#if maybe then ab = cb
+#alt1#if maybe then ab = d
+
+#alt1#if maybe then bi = ai
+#alt1#if maybe then bi = ab
+if maybe then bi = bi
+#alt1#if maybe then bi = bb
+if maybe then bi = ci
+if maybe then bi = cb
+if maybe then bi = d
+
+#alt1#if maybe then bb = ai
+#alt1#if maybe then bb = ab
+#alt1#if maybe then bb = bi
+if maybe then bb = bb
+#alt1#if maybe then bb = ci
+#alt1#if maybe then bb = cb
+#alt1#if maybe then bb = d
+
+#alt1#if maybe then cb = ai
+#alt1#if maybe then ci = ab
+#alt1#if maybe then ci = bi
+#alt1#if maybe then ci = bb
+if maybe then ci = ci
+#alt1#if maybe then ci = cb
+#alt1#if maybe then ci = d
+
+#alt1#if maybe then cb = ai
+#alt1#if maybe then cb = ab
+#alt1#if maybe then cb = bi
+#alt1#if maybe then cb = bb
+#alt1#if maybe then cb = ci
+if maybe then cb = cb
+if maybe then cb = d
+
+#alt1#if maybe then d = ai
+#alt1#if maybe then d = ab
+#alt1#if maybe then d = bi
+#alt1#if maybe then d = bb
+#alt1#if maybe then d = ci
+#alt1#if maybe then d = cb
+if maybe then d = d

diff --git a/tests/base_upcast2.nit b/tests/base_upcast2.nit
new file mode 100644 (file)
index 0000000..476c44b
--- /dev/null
+++ b/tests/base_upcast2.nit
@@ -0,0 +1,41 @@
+import kernel
+
+class A[E]
+end
+
+class B[G] super A[Int]
+end
+
+class C super B[Bool]
+end
+
+class X
+       #1alt1#type T: A[Int]
+       #1alt2#type T: A[Bool]
+       #1alt3#type T: B[Int]
+       #1alt4#type T: B[Bool]
+       #1alt5#type T: C
+       fun toto
+       do
+               var ai = new A[Int]
+               var ab = new A[Bool]
+               var bi = new B[Int]
+               var bb = new B[Bool]
+               var c = new C
+
+               var t: T = c.as(T)
+               #alt1#if maybe then t = ai
+               #alt2#if maybe then t = ab
+               #alt3#if maybe then t = bi
+               #alt4#if maybe then t = bb
+               #alt5#if maybe then t = c
+               #alt6#if maybe then ai = t
+               #alt7#if maybe then ab = t
+               #alt8#if maybe then bi = t
+               #alt9#if maybe then bb = t
+               #alt10#if maybe then c = t
+       end
+end
+
+fun maybe: Bool do return true
+

diff --git a/tests/sav/base_upcast.sav b/tests/sav/base_upcast.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2.sav b/tests/sav/base_upcast2.sav
new file mode 100644 (file)
index 0000000..addae0d
--- /dev/null
+++ b/tests/sav/base_upcast2.sav
@@ -0,0 +1,2 @@
+./base_upcast2.nit:26,10: Type error: class T not found in module base_upcast2.
+./base_upcast2.nit:26,19: Type error: class T not found in module base_upcast2.

diff --git a/tests/sav/base_upcast2_1alt1.sav b/tests/sav/base_upcast2_1alt1.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt1_alt1.sav b/tests/sav/base_upcast2_1alt1_alt1.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt1_alt10.sav b/tests/sav/base_upcast2_1alt1_alt10.sav
new file mode 100644 (file)
index 0000000..99abb44
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt1_alt10.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt1_alt10.nit:36,21: Type error: expected C, got T

diff --git a/tests/sav/base_upcast2_1alt1_alt2.sav b/tests/sav/base_upcast2_1alt1_alt2.sav
new file mode 100644 (file)
index 0000000..c5765b7
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt1_alt2.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt1_alt2.nit:28,21--22: Type error: expected T, got A[Bool]

diff --git a/tests/sav/base_upcast2_1alt1_alt3.sav b/tests/sav/base_upcast2_1alt1_alt3.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt1_alt4.sav b/tests/sav/base_upcast2_1alt1_alt4.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt1_alt5.sav b/tests/sav/base_upcast2_1alt1_alt5.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt1_alt6.sav b/tests/sav/base_upcast2_1alt1_alt6.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt1_alt7.sav b/tests/sav/base_upcast2_1alt1_alt7.sav
new file mode 100644 (file)
index 0000000..29fe46d
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt1_alt7.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt1_alt7.nit:33,22: Type error: expected A[Bool], got T

diff --git a/tests/sav/base_upcast2_1alt1_alt8.sav b/tests/sav/base_upcast2_1alt1_alt8.sav
new file mode 100644 (file)
index 0000000..4f33a48
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt1_alt8.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt1_alt8.nit:34,22: Type error: expected B[Int], got T

diff --git a/tests/sav/base_upcast2_1alt1_alt9.sav b/tests/sav/base_upcast2_1alt1_alt9.sav
new file mode 100644 (file)
index 0000000..3191dca
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt1_alt9.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt1_alt9.nit:35,22: Type error: expected B[Bool], got T

diff --git a/tests/sav/base_upcast2_1alt2.sav b/tests/sav/base_upcast2_1alt2.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt2_alt1.sav b/tests/sav/base_upcast2_1alt2_alt1.sav
new file mode 100644 (file)
index 0000000..63071d3
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt2_alt1.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt2_alt1.nit:27,21--22: Type error: expected T, got A[Int]

diff --git a/tests/sav/base_upcast2_1alt2_alt10.sav b/tests/sav/base_upcast2_1alt2_alt10.sav
new file mode 100644 (file)
index 0000000..8d013a7
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt2_alt10.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt2_alt10.nit:36,21: Type error: expected C, got T

diff --git a/tests/sav/base_upcast2_1alt2_alt2.sav b/tests/sav/base_upcast2_1alt2_alt2.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt2_alt3.sav b/tests/sav/base_upcast2_1alt2_alt3.sav
new file mode 100644 (file)
index 0000000..693f2b2
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt2_alt3.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt2_alt3.nit:29,21--22: Type error: expected T, got B[Int]

diff --git a/tests/sav/base_upcast2_1alt2_alt4.sav b/tests/sav/base_upcast2_1alt2_alt4.sav
new file mode 100644 (file)
index 0000000..c8dcf37
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt2_alt4.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt2_alt4.nit:30,21--22: Type error: expected T, got B[Bool]

diff --git a/tests/sav/base_upcast2_1alt2_alt5.sav b/tests/sav/base_upcast2_1alt2_alt5.sav
new file mode 100644 (file)
index 0000000..f314d20
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt2_alt5.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt2_alt5.nit:31,21: Type error: expected T, got C

diff --git a/tests/sav/base_upcast2_1alt2_alt6.sav b/tests/sav/base_upcast2_1alt2_alt6.sav
new file mode 100644 (file)
index 0000000..afb8ffe
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt2_alt6.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt2_alt6.nit:32,22: Type error: expected A[Int], got T

diff --git a/tests/sav/base_upcast2_1alt2_alt7.sav b/tests/sav/base_upcast2_1alt2_alt7.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt2_alt8.sav b/tests/sav/base_upcast2_1alt2_alt8.sav
new file mode 100644 (file)
index 0000000..ab7c7d3
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt2_alt8.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt2_alt8.nit:34,22: Type error: expected B[Int], got T

diff --git a/tests/sav/base_upcast2_1alt2_alt9.sav b/tests/sav/base_upcast2_1alt2_alt9.sav
new file mode 100644 (file)
index 0000000..c687866
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt2_alt9.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt2_alt9.nit:35,22: Type error: expected B[Bool], got T

diff --git a/tests/sav/base_upcast2_1alt3.sav b/tests/sav/base_upcast2_1alt3.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt3_alt1.sav b/tests/sav/base_upcast2_1alt3_alt1.sav
new file mode 100644 (file)
index 0000000..665bd2b
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt3_alt1.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt3_alt1.nit:27,21--22: Type error: expected T, got A[Int]

diff --git a/tests/sav/base_upcast2_1alt3_alt10.sav b/tests/sav/base_upcast2_1alt3_alt10.sav
new file mode 100644 (file)
index 0000000..b64929b
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt3_alt10.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt3_alt10.nit:36,21: Type error: expected C, got T

diff --git a/tests/sav/base_upcast2_1alt3_alt2.sav b/tests/sav/base_upcast2_1alt3_alt2.sav
new file mode 100644 (file)
index 0000000..bd148da
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt3_alt2.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt3_alt2.nit:28,21--22: Type error: expected T, got A[Bool]

diff --git a/tests/sav/base_upcast2_1alt3_alt3.sav b/tests/sav/base_upcast2_1alt3_alt3.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt3_alt4.sav b/tests/sav/base_upcast2_1alt3_alt4.sav
new file mode 100644 (file)
index 0000000..9ffa5b1
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt3_alt4.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt3_alt4.nit:30,21--22: Type error: expected T, got B[Bool]

diff --git a/tests/sav/base_upcast2_1alt3_alt5.sav b/tests/sav/base_upcast2_1alt3_alt5.sav
new file mode 100644 (file)
index 0000000..7c1ab2b
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt3_alt5.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt3_alt5.nit:31,21: Type error: expected T, got C

diff --git a/tests/sav/base_upcast2_1alt3_alt6.sav b/tests/sav/base_upcast2_1alt3_alt6.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt3_alt7.sav b/tests/sav/base_upcast2_1alt3_alt7.sav
new file mode 100644 (file)
index 0000000..b2aeba1
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt3_alt7.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt3_alt7.nit:33,22: Type error: expected A[Bool], got T

diff --git a/tests/sav/base_upcast2_1alt3_alt8.sav b/tests/sav/base_upcast2_1alt3_alt8.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt3_alt9.sav b/tests/sav/base_upcast2_1alt3_alt9.sav
new file mode 100644 (file)
index 0000000..f6151ca
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt3_alt9.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt3_alt9.nit:35,22: Type error: expected B[Bool], got T

diff --git a/tests/sav/base_upcast2_1alt4.sav b/tests/sav/base_upcast2_1alt4.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt4_alt1.sav b/tests/sav/base_upcast2_1alt4_alt1.sav
new file mode 100644 (file)
index 0000000..b01c65b
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt4_alt1.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt4_alt1.nit:27,21--22: Type error: expected T, got A[Int]

diff --git a/tests/sav/base_upcast2_1alt4_alt10.sav b/tests/sav/base_upcast2_1alt4_alt10.sav
new file mode 100644 (file)
index 0000000..7943796
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt4_alt10.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt4_alt10.nit:36,21: Type error: expected C, got T

diff --git a/tests/sav/base_upcast2_1alt4_alt2.sav b/tests/sav/base_upcast2_1alt4_alt2.sav
new file mode 100644 (file)
index 0000000..b3e05c4
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt4_alt2.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt4_alt2.nit:28,21--22: Type error: expected T, got A[Bool]

diff --git a/tests/sav/base_upcast2_1alt4_alt3.sav b/tests/sav/base_upcast2_1alt4_alt3.sav
new file mode 100644 (file)
index 0000000..4b97161
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt4_alt3.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt4_alt3.nit:29,21--22: Type error: expected T, got B[Int]

diff --git a/tests/sav/base_upcast2_1alt4_alt4.sav b/tests/sav/base_upcast2_1alt4_alt4.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt4_alt5.sav b/tests/sav/base_upcast2_1alt4_alt5.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt4_alt6.sav b/tests/sav/base_upcast2_1alt4_alt6.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt4_alt7.sav b/tests/sav/base_upcast2_1alt4_alt7.sav
new file mode 100644 (file)
index 0000000..1ce4304
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt4_alt7.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt4_alt7.nit:33,22: Type error: expected A[Bool], got T

diff --git a/tests/sav/base_upcast2_1alt4_alt8.sav b/tests/sav/base_upcast2_1alt4_alt8.sav
new file mode 100644 (file)
index 0000000..a636739
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt4_alt8.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt4_alt8.nit:34,22: Type error: expected B[Int], got T

diff --git a/tests/sav/base_upcast2_1alt4_alt9.sav b/tests/sav/base_upcast2_1alt4_alt9.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt5.sav b/tests/sav/base_upcast2_1alt5.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt5_alt1.sav b/tests/sav/base_upcast2_1alt5_alt1.sav
new file mode 100644 (file)
index 0000000..f831dac
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt5_alt1.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt5_alt1.nit:27,21--22: Type error: expected T, got A[Int]

diff --git a/tests/sav/base_upcast2_1alt5_alt10.sav b/tests/sav/base_upcast2_1alt5_alt10.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt5_alt2.sav b/tests/sav/base_upcast2_1alt5_alt2.sav
new file mode 100644 (file)
index 0000000..d640cb1
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt5_alt2.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt5_alt2.nit:28,21--22: Type error: expected T, got A[Bool]

diff --git a/tests/sav/base_upcast2_1alt5_alt3.sav b/tests/sav/base_upcast2_1alt5_alt3.sav
new file mode 100644 (file)
index 0000000..3bbdd6e
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt5_alt3.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt5_alt3.nit:29,21--22: Type error: expected T, got B[Int]

diff --git a/tests/sav/base_upcast2_1alt5_alt4.sav b/tests/sav/base_upcast2_1alt5_alt4.sav
new file mode 100644 (file)
index 0000000..b5701dd
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt5_alt4.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt5_alt4.nit:30,21--22: Type error: expected T, got B[Bool]

diff --git a/tests/sav/base_upcast2_1alt5_alt5.sav b/tests/sav/base_upcast2_1alt5_alt5.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt5_alt6.sav b/tests/sav/base_upcast2_1alt5_alt6.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_1alt5_alt7.sav b/tests/sav/base_upcast2_1alt5_alt7.sav
new file mode 100644 (file)
index 0000000..a670740
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt5_alt7.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt5_alt7.nit:33,22: Type error: expected A[Bool], got T

diff --git a/tests/sav/base_upcast2_1alt5_alt8.sav b/tests/sav/base_upcast2_1alt5_alt8.sav
new file mode 100644 (file)
index 0000000..ce4fd54
--- /dev/null
+++ b/tests/sav/base_upcast2_1alt5_alt8.sav
@@ -0,0 +1 @@
+alt/base_upcast2_1alt5_alt8.nit:34,22: Type error: expected B[Int], got T

diff --git a/tests/sav/base_upcast2_1alt5_alt9.sav b/tests/sav/base_upcast2_1alt5_alt9.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/base_upcast2_alt1.sav b/tests/sav/base_upcast2_alt1.sav
new file mode 100644 (file)
index 0000000..45c4c2f
--- /dev/null
+++ b/tests/sav/base_upcast2_alt1.sav
@@ -0,0 +1,2 @@
+alt/base_upcast2_alt1.nit:26,10: Type error: class T not found in module base_upcast2_alt1.
+alt/base_upcast2_alt1.nit:26,19: Type error: class T not found in module base_upcast2_alt1.

diff --git a/tests/sav/base_upcast2_alt10.sav b/tests/sav/base_upcast2_alt10.sav
new file mode 100644 (file)
index 0000000..34b5cef
--- /dev/null
+++ b/tests/sav/base_upcast2_alt10.sav
@@ -0,0 +1,2 @@
+alt/base_upcast2_alt10.nit:26,10: Type error: class T not found in module base_upcast2_alt10.
+alt/base_upcast2_alt10.nit:26,19: Type error: class T not found in module base_upcast2_alt10.

diff --git a/tests/sav/base_upcast2_alt2.sav b/tests/sav/base_upcast2_alt2.sav
new file mode 100644 (file)
index 0000000..01d11bc
--- /dev/null
+++ b/tests/sav/base_upcast2_alt2.sav
@@ -0,0 +1,2 @@
+alt/base_upcast2_alt2.nit:26,10: Type error: class T not found in module base_upcast2_alt2.
+alt/base_upcast2_alt2.nit:26,19: Type error: class T not found in module base_upcast2_alt2.

diff --git a/tests/sav/base_upcast2_alt3.sav b/tests/sav/base_upcast2_alt3.sav
new file mode 100644 (file)
index 0000000..2103603
--- /dev/null
+++ b/tests/sav/base_upcast2_alt3.sav
@@ -0,0 +1,2 @@
+alt/base_upcast2_alt3.nit:26,10: Type error: class T not found in module base_upcast2_alt3.
+alt/base_upcast2_alt3.nit:26,19: Type error: class T not found in module base_upcast2_alt3.

diff --git a/tests/sav/base_upcast2_alt4.sav b/tests/sav/base_upcast2_alt4.sav
new file mode 100644 (file)
index 0000000..2847390
--- /dev/null
+++ b/tests/sav/base_upcast2_alt4.sav
@@ -0,0 +1,2 @@
+alt/base_upcast2_alt4.nit:26,10: Type error: class T not found in module base_upcast2_alt4.
+alt/base_upcast2_alt4.nit:26,19: Type error: class T not found in module base_upcast2_alt4.

diff --git a/tests/sav/base_upcast2_alt5.sav b/tests/sav/base_upcast2_alt5.sav
new file mode 100644 (file)
index 0000000..16fcc2c
--- /dev/null
+++ b/tests/sav/base_upcast2_alt5.sav
@@ -0,0 +1,2 @@
+alt/base_upcast2_alt5.nit:26,10: Type error: class T not found in module base_upcast2_alt5.
+alt/base_upcast2_alt5.nit:26,19: Type error: class T not found in module base_upcast2_alt5.

diff --git a/tests/sav/base_upcast2_alt6.sav b/tests/sav/base_upcast2_alt6.sav
new file mode 100644 (file)
index 0000000..0a0b06e
--- /dev/null
+++ b/tests/sav/base_upcast2_alt6.sav
@@ -0,0 +1,2 @@
+alt/base_upcast2_alt6.nit:26,10: Type error: class T not found in module base_upcast2_alt6.
+alt/base_upcast2_alt6.nit:26,19: Type error: class T not found in module base_upcast2_alt6.

diff --git a/tests/sav/base_upcast2_alt7.sav b/tests/sav/base_upcast2_alt7.sav
new file mode 100644 (file)
index 0000000..98a8fa0
--- /dev/null
+++ b/tests/sav/base_upcast2_alt7.sav
@@ -0,0 +1,2 @@
+alt/base_upcast2_alt7.nit:26,10: Type error: class T not found in module base_upcast2_alt7.
+alt/base_upcast2_alt7.nit:26,19: Type error: class T not found in module base_upcast2_alt7.

diff --git a/tests/sav/base_upcast2_alt8.sav b/tests/sav/base_upcast2_alt8.sav
new file mode 100644 (file)
index 0000000..c727042
--- /dev/null
+++ b/tests/sav/base_upcast2_alt8.sav
@@ -0,0 +1,2 @@
+alt/base_upcast2_alt8.nit:26,10: Type error: class T not found in module base_upcast2_alt8.
+alt/base_upcast2_alt8.nit:26,19: Type error: class T not found in module base_upcast2_alt8.

diff --git a/tests/sav/base_upcast2_alt9.sav b/tests/sav/base_upcast2_alt9.sav
new file mode 100644 (file)
index 0000000..fae1658
--- /dev/null
+++ b/tests/sav/base_upcast2_alt9.sav
@@ -0,0 +1,2 @@
+alt/base_upcast2_alt9.nit:26,10: Type error: class T not found in module base_upcast2_alt9.
+alt/base_upcast2_alt9.nit:26,19: Type error: class T not found in module base_upcast2_alt9.

diff --git a/tests/sav/base_upcast_alt1.sav b/tests/sav/base_upcast_alt1.sav
new file mode 100644 (file)
index 0000000..7a13355
--- /dev/null
+++ b/tests/sav/base_upcast_alt1.sav
@@ -0,0 +1,33 @@
+alt/base_upcast_alt1.nit:26,20--21: Type error: expected A[Int], got A[Bool]
+alt/base_upcast_alt1.nit:28,20--21: Type error: expected A[Int], got B[Bool]
+alt/base_upcast_alt1.nit:33,20--21: Type error: expected A[Bool], got A[Int]
+alt/base_upcast_alt1.nit:35,20--21: Type error: expected A[Bool], got B[Int]
+alt/base_upcast_alt1.nit:37,20--21: Type error: expected A[Bool], got C[Int]
+alt/base_upcast_alt1.nit:38,20--21: Type error: expected A[Bool], got C[Bool]
+alt/base_upcast_alt1.nit:39,20: Type error: expected A[Bool], got D
+alt/base_upcast_alt1.nit:41,20--21: Type error: expected B[Int], got A[Int]
+alt/base_upcast_alt1.nit:42,20--21: Type error: expected B[Int], got A[Bool]
+alt/base_upcast_alt1.nit:44,20--21: Type error: expected B[Int], got B[Bool]
+alt/base_upcast_alt1.nit:49,20--21: Type error: expected B[Bool], got A[Int]
+alt/base_upcast_alt1.nit:50,20--21: Type error: expected B[Bool], got A[Bool]
+alt/base_upcast_alt1.nit:51,20--21: Type error: expected B[Bool], got B[Int]
+alt/base_upcast_alt1.nit:53,20--21: Type error: expected B[Bool], got C[Int]
+alt/base_upcast_alt1.nit:54,20--21: Type error: expected B[Bool], got C[Bool]
+alt/base_upcast_alt1.nit:55,20: Type error: expected B[Bool], got D
+alt/base_upcast_alt1.nit:57,20--21: Type error: expected C[Bool], got A[Int]
+alt/base_upcast_alt1.nit:58,20--21: Type error: expected C[Int], got A[Bool]
+alt/base_upcast_alt1.nit:59,20--21: Type error: expected C[Int], got B[Int]
+alt/base_upcast_alt1.nit:60,20--21: Type error: expected C[Int], got B[Bool]
+alt/base_upcast_alt1.nit:62,20--21: Type error: expected C[Int], got C[Bool]
+alt/base_upcast_alt1.nit:63,20: Type error: expected C[Int], got D
+alt/base_upcast_alt1.nit:65,20--21: Type error: expected C[Bool], got A[Int]
+alt/base_upcast_alt1.nit:66,20--21: Type error: expected C[Bool], got A[Bool]
+alt/base_upcast_alt1.nit:67,20--21: Type error: expected C[Bool], got B[Int]
+alt/base_upcast_alt1.nit:68,20--21: Type error: expected C[Bool], got B[Bool]
+alt/base_upcast_alt1.nit:69,20--21: Type error: expected C[Bool], got C[Int]
+alt/base_upcast_alt1.nit:73,19--20: Type error: expected D, got A[Int]
+alt/base_upcast_alt1.nit:74,19--20: Type error: expected D, got A[Bool]
+alt/base_upcast_alt1.nit:75,19--20: Type error: expected D, got B[Int]
+alt/base_upcast_alt1.nit:76,19--20: Type error: expected D, got B[Bool]
+alt/base_upcast_alt1.nit:77,19--20: Type error: expected D, got C[Int]
+alt/base_upcast_alt1.nit:78,19--20: Type error: expected D, got C[Bool]