From: Timm Bäder <mail@baedert.org>
Date: Tue, 8 Nov 2016 09:59:17 +0000 (+0100)
Subject: tests: Add another nullability test
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=658d389516dcd06b5d90dd03889b724aedef45bc;p=thirdparty%2Fvala.git

tests: Add another nullability test
---

diff --git a/tests/Makefile.am b/tests/Makefile.am
index c1ef055e6..d309ad70b 100644
--- 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
index 000000000..74cfdc8bc
--- /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;
+
+}