nullable: type, compile and test 'as(not null)'

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

diff --git a/tests/sav/base_as_notnull_alt2.sav b/tests/sav/base_as_notnull_alt2.sav
new file mode 100644 (file)
index 0000000..6f7787c
--- /dev/null
+++ b/tests/sav/base_as_notnull_alt2.sav
@@ -0,0 +1 @@
+alt/base_as_notnull_alt2.nit:51,6--19: Type error: expected B, got A