nullable: enforce static and dynamic rules.

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

diff --git a/tests/sav/base_virtual_type5_alt1.sav b/tests/sav/base_virtual_type5_alt1.sav
index 6d3aa69..e409041 100644 (file)
--- a/tests/sav/base_virtual_type5_alt1.sav
+++ b/tests/sav/base_virtual_type5_alt1.sav
@@ -1 +1 @@
-alt/base_virtual_type5_alt1.nit:26,7--7: Type error: expected U, got Int
+alt/base_virtual_type5_alt1.nit:26,7--7: Type error: expected nullable U, got Int