syntax: merge nullable information on type evolution

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

diff --git a/tests/sav/base_var_type_evolution_null_alt5.sav b/tests/sav/base_var_type_evolution_null_alt5.sav
new file mode 100644 (file)
index 0000000..bd4b700
--- /dev/null
+++ b/tests/sav/base_var_type_evolution_null_alt5.sav
@@ -0,0 +1 @@
+alt/base_var_type_evolution_null_alt5.nit:53,7: Type error: expected A, got nullable A