tests: update more sav because of the improved null-aware adaptive typing

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

diff --git a/tests/sav/base_adaptive_loop_array_1alt2_alt1.res b/tests/sav/base_adaptive_loop_array_1alt2_alt1.res
index 4c5dbc5..90799da 100644 (file)
--- a/tests/sav/base_adaptive_loop_array_1alt2_alt1.res
+++ b/tests/sav/base_adaptive_loop_array_1alt2_alt1.res
@@ -1,3 +1,3 @@
 alt/base_adaptive_loop_array_1alt2_alt1.nit:26,10--15: Error: method `length` does not exists in `Int`.
-alt/base_adaptive_loop_array_1alt2_alt1.nit:26,10--15: Error: method `length` does not exists in `nullable Object`.
-alt/base_adaptive_loop_array_1alt2_alt1.nit:28,3--8: Error: method `length` does not exists in `nullable Object`.
+alt/base_adaptive_loop_array_1alt2_alt1.nit:26,10--15: Error: method `length` does not exists in `Object`.
+alt/base_adaptive_loop_array_1alt2_alt1.nit:28,3--8: Error: method `length` does not exists in `Object`.

diff --git a/tests/sav/base_adaptive_loop_array_alt1.res b/tests/sav/base_adaptive_loop_array_alt1.res
index 58c7b04..c861a32 100644 (file)
--- a/tests/sav/base_adaptive_loop_array_alt1.res
+++ b/tests/sav/base_adaptive_loop_array_alt1.res
@@ -1,2 +1,2 @@
-alt/base_adaptive_loop_array_alt1.nit:26,10--15: Error: method `length` does not exists in `nullable Object`.
-alt/base_adaptive_loop_array_alt1.nit:28,3--8: Error: method `length` does not exists in `nullable Object`.
+alt/base_adaptive_loop_array_alt1.nit:26,10--15: Error: method `length` does not exists in `Object`.
+alt/base_adaptive_loop_array_alt1.nit:28,3--8: Error: method `length` does not exists in `Object`.

diff --git a/tests/sav/base_adaptive_loop_call_alt1.res b/tests/sav/base_adaptive_loop_call_alt1.res
index 661cf83..153c634 100644 (file)
--- a/tests/sav/base_adaptive_loop_call_alt1.res
+++ b/tests/sav/base_adaptive_loop_call_alt1.res
@@ -1 +1 @@
-alt/base_adaptive_loop_call_alt1.nit:57,8--10: Error: method `foo` does not exists in `nullable Object`.
+alt/base_adaptive_loop_call_alt1.nit:57,8--10: Error: method `foo` does not exists in `Object`.

diff --git a/tests/sav/base_var_untyped_alt4.res b/tests/sav/base_var_untyped_alt4.res
index cc41e02..60a0b47 100644 (file)
--- a/tests/sav/base_var_untyped_alt4.res
+++ b/tests/sav/base_var_untyped_alt4.res
@@ -1 +1 @@
-alt/base_var_untyped_alt4.nit:44,4--5: Error: method `+` does not exists in `nullable Object`.
+alt/base_var_untyped_alt4.nit:44,4--5: Error: method `+` does not exists in `Object`.

diff --git a/tests/sav/base_var_untyped_alt5.res b/tests/sav/base_var_untyped_alt5.res
index e644c3d..22f2cd0 100644 (file)
--- a/tests/sav/base_var_untyped_alt5.res
+++ b/tests/sav/base_var_untyped_alt5.res
@@ -1 +1 @@
-alt/base_var_untyped_alt5.nit:51,4: Error: method `*` does not exists in `nullable Object`.
+alt/base_var_untyped_alt5.nit:51,4: Error: method `*` does not exists in `Object`.