tests: update existing savs (new warning or updates)

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

diff --git a/tests/sav/base_virtual_type_self_alt2.res b/tests/sav/base_virtual_type_self_alt2.res
index 9f5af9e..31e5abc 100644 (file)
--- a/tests/sav/base_virtual_type_self_alt2.res
+++ b/tests/sav/base_virtual_type_self_alt2.res
@@ -1,3 +1,3 @@
-alt/base_virtual_type_self_alt2.nit:44,9: Type error: expected U, got Float
-alt/base_virtual_type_self_alt2.nit:45,7--12: Type error: expected Float, got U
-alt/base_virtual_type_self_alt2.nit:47,7--12: Type error: expected Float, got A[U]
+alt/base_virtual_type_self_alt2.nit:44,9: Type error: expected Int, got Float
+alt/base_virtual_type_self_alt2.nit:45,7--12: Type error: expected Float, got Int
+alt/base_virtual_type_self_alt2.nit:47,7--12: Type error: expected Float, got A[Int]

diff --git a/tests/sav/error_class_generic_alt2.res b/tests/sav/error_class_generic_alt2.res
index 744e53c..3a4e70f 100644 (file)
--- a/tests/sav/error_class_generic_alt2.res
+++ b/tests/sav/error_class_generic_alt2.res
@@ -1 +1,2 @@
+alt/error_class_generic_alt2.nit:18,22--26: Warning: Useless formal parameter type since `Float` cannnot have subclasses.
 alt/error_class_generic_alt2.nit:25,8--12: Type error: 'Array' is a generic class.

diff --git a/tests/sav/test_gen_inh.res b/tests/sav/test_gen_inh.res
index b48ebc3..254e5da 100644 (file)
--- a/tests/sav/test_gen_inh.res
+++ b/tests/sav/test_gen_inh.res
@@ -1,3 +1,5 @@
+test_gen_inh.nit:29,15--17: Warning: Useless formal parameter type since `Int` cannnot have subclasses.
+test_gen_inh.nit:34,15--17: Warning: Useless formal parameter type since `Int` cannnot have subclasses.
 11
 22
 33

diff --git a/tests/sav/test_super_gen.res b/tests/sav/test_super_gen.res
index be0358a..2eb8251 100644 (file)
--- a/tests/sav/test_super_gen.res
+++ b/tests/sav/test_super_gen.res
@@ -1,3 +1,4 @@
+test_super_gen.nit:27,12--14: Warning: Useless formal parameter type since `Int` cannnot have subclasses.
 1
 0
 5

diff --git a/tests/sav/test_super_gen_raf.res b/tests/sav/test_super_gen_raf.res
index b2f1f1e..8566ddc 100644 (file)
--- a/tests/sav/test_super_gen_raf.res
+++ b/tests/sav/test_super_gen_raf.res
@@ -1,2 +1,4 @@
+test_super_gen.nit:27,12--14: Warning: Useless formal parameter type since `Int` cannnot have subclasses.
+test_super_gen_raf.nit:19,12--14: Warning: Useless formal parameter type since `Int` cannnot have subclasses.
 0
 20