nullable: enforce static and dynamic rules.

[nit.git] / tests / sav / base_virtual_type4_alt1.sav

diff --git a/tests/sav/base_virtual_type4_alt1.sav b/tests/sav/base_virtual_type4_alt1.sav
index 59b07a9..d99b18c 100644 (file)
--- a/tests/sav/base_virtual_type4_alt1.sav
+++ b/tests/sav/base_virtual_type4_alt1.sav
@@ -1 +1 @@
-alt/base_virtual_type4_alt1.nit:24,8--12: Type error: expected U, got T
+alt/base_virtual_type4_alt1.nit:24,8--12: Type error: expected nullable U, got T