add some nullability tests

diff --git a/tests/Makefile.am b/tests/Makefile.am
index bc7e104de8cbdd349de212e545942f84f732a1e5..58767d15d4284f4cd48de8923866e049b4990f0b 100644 (file)
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -235,6 +235,8 @@ TESTS = \
        gir/bug651773.test \
        gir/bug667751.test \
        gir/bug742012.test \
+       nullability/local-reference.vala \
+       nullability/assignment-to-non-nullable-ok.vala \
        $(NULL)
 
 check-TESTS: $(TESTS)

diff --git a/tests/nullability/assignment-to-non-nullable-ok.vala b/tests/nullability/assignment-to-non-nullable-ok.vala
new file mode 100644 (file)
index 0000000..0968915
--- /dev/null
+++ b/tests/nullability/assignment-to-non-nullable-ok.vala
@@ -0,0 +1,10 @@
+
+
+void main () {
+       string? s = (string?) "foo";
+
+       if (s != null) {
+               string s2 = s;
+               int k = s2.length;
+       }
+}

diff --git a/tests/nullability/local-reference.vala b/tests/nullability/local-reference.vala
new file mode 100644 (file)
index 0000000..079e51c
--- /dev/null
+++ b/tests/nullability/local-reference.vala
@@ -0,0 +1,10 @@
+
+
+void main () {
+       string? s = (string?)"something";
+
+       if (s != null) {
+               // fine, s can't be null.
+               int k = s.length;
+       }
+}