tests: Add another nullability test

diff --git a/tests/Makefile.am b/tests/Makefile.am
index c1ef055e684eea0810f81739200cad4d1aefb458..d309ad70b6d5a41cee4eb74a06d2aa9b379dd373 100644 (file)
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -239,7 +239,8 @@ TESTS = \
        nullability/assignment-to-non-nullable-ok.vala \
        nullability/assignment-to-non-nullable-fail.test \
        nullability/coalesce-operator.vala \
-       nullability/non-null-assign.vala
+       nullability/non-null-assign.vala \
+       nullability/null-assign-fail.test \
        $(NULL)
 
 check-TESTS: $(TESTS)

diff --git a/tests/nullability/null-assign-fail.test b/tests/nullability/null-assign-fail.test
new file mode 100644 (file)
index 0000000..74cfdc8
--- /dev/null
+++ b/tests/nullability/null-assign-fail.test
@@ -0,0 +1,14 @@
+Invalid Code
+
+void main () {
+  string f = "guaranteed not null";
+
+  // OK
+  int k = f.length;
+
+  f = null;
+
+  // Not OK
+  k = f.length;
+
+}