syntax: comparing a variable with null makes it evolve to null

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

diff --git a/tests/sav/base_var_type_evolution_null2_alt1.sav b/tests/sav/base_var_type_evolution_null2_alt1.sav
new file mode 100644 (file)
index 0000000..41b285c
--- /dev/null
+++ b/tests/sav/base_var_type_evolution_null2_alt1.sav
@@ -0,0 +1 @@
+alt/base_var_type_evolution_null2_alt1.nit:35,8: Type error: expected A, got null