test: Add some invalid "non-null" tests

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 268d2b8d474abbd8e57e55606a24cafa7b33b376..0e393d5fdf525dfd4c47ff897b4f0b9e0158f99e 100644 (file)
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -615,6 +615,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 () {
+}