nullable: enforce static and dynamic rules.

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

diff --git a/tests/sav/base_nullable_alt6.sav b/tests/sav/base_nullable_alt6.sav
index e69de29..38398ad 100644 (file)
--- a/tests/sav/base_nullable_alt6.sav
+++ b/tests/sav/base_nullable_alt6.sav
@@ -0,0 +1 @@
+alt/base_nullable_alt6.nit:44,18--19: Type error: expected Object, got nullable A