test: Add "ownership mismatch" test for coalesce and conditional expression

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 27d80e8607d492daf400d2143fadc1b03700359a..0386292af934c4f56330e76da349ea603c3d4fb3 100644 (file)
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -160,6 +160,8 @@ TESTS = \
        control-flow/missing-break.test \
        control-flow/missing-return.test \
        control-flow/nested-conditional.vala \
+       control-flow/ownership-mismatch-coalesce.test \
+       control-flow/ownership-mismatch-conditional.test \
        control-flow/switch.vala \
        control-flow/sideeffects.vala \
        control-flow/unassigned-captured-local-variable.test \

diff --git a/tests/control-flow/ownership-mismatch-coalesce.test b/tests/control-flow/ownership-mismatch-coalesce.test
new file mode 100644 (file)
index 0000000..a0957e8
--- /dev/null
+++ b/tests/control-flow/ownership-mismatch-coalesce.test
@@ -0,0 +1,11 @@
+Invalid Code
+
+string? foo () {
+       return "foo";
+}
+
+void main () {
+       unowned string bar = "bar";
+
+       unowned string manam = foo () ?? bar;
+}

diff --git a/tests/control-flow/ownership-mismatch-conditional.test b/tests/control-flow/ownership-mismatch-conditional.test
new file mode 100644 (file)
index 0000000..c9bfd21
--- /dev/null
+++ b/tests/control-flow/ownership-mismatch-conditional.test
@@ -0,0 +1,12 @@
+Invalid Code
+
+string? foo () {
+       return "foo";
+}
+
+void main () {
+       unowned string bar = "bar";
+       bool cond = true;
+
+       unowned string manam = cond ? foo () : bar;
+}