test: Add some invalid "non-null" tests

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 89020c01272e55c256067b0a64e37c6a2d186cf5..d18208a1354bf389be3c756e9ffa0206dddab9fd 100644 (file)
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -616,6 +616,9 @@ TESTS = \
 
 NON_NULL_TESTS = \
        nullability/bug611223.vala \
+       nullability/local-variable-invalid-convert.test \
+       nullability/method-parameter-invalid-convert.test \
+       nullability/method-return-invalid-convert.test \
        $(NULL)
 
 LINUX_TESTS = \

diff --git a/tests/nullability/local-variable-invalid-convert.test b/tests/nullability/local-variable-invalid-convert.test
new file mode 100644 (file)
index 0000000..4abd180
--- /dev/null
+++ b/tests/nullability/local-variable-invalid-convert.test
@@ -0,0 +1,5 @@
+Invalid Code
+
+void main () {
+       string s = null;
+}

diff --git a/tests/nullability/method-parameter-invalid-convert.test b/tests/nullability/method-parameter-invalid-convert.test
new file mode 100644 (file)
index 0000000..823ef78
--- /dev/null
+++ b/tests/nullability/method-parameter-invalid-convert.test
@@ -0,0 +1,9 @@
+Invalid Code
+
+void foo (string s) {
+}
+
+void main () {
+       string? s = null;
+       foo (s);
+}

diff --git a/tests/nullability/method-return-invalid-convert.test b/tests/nullability/method-return-invalid-convert.test
new file mode 100644 (file)
index 0000000..461a8bc
--- /dev/null
+++ b/tests/nullability/method-return-invalid-convert.test
@@ -0,0 +1,8 @@
+Invalid Code
+
+string foo () {
+       return null;
+}
+
+void main () {
+}