tests: Add "postcondition with local result" test to increase coveragewip/code-transformer

2 files changed, 9 insertions, 0 deletions

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 0386292af..3fb9798e3 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -99,6 +99,7 @@ TESTS = \
 	methods/closures.vala \
 	methods/contains.vala \
 	methods/iterator.vala \
+	methods/postcondition-local-result.vala \
 	methods/prepostconditions.vala \
 	methods/same-name.vala \
 	methods/symbolresolution.vala \
diff --git a/tests/methods/postcondition-local-result.vala b/tests/methods/postcondition-local-result.vala
new file mode 100644
index 000000000..f5b5f62f9
--- /dev/null
+++ b/tests/methods/postcondition-local-result.vala
@@ -0,0 +1,8 @@
+public string foo () ensures (result.length >= 3) {
+	string result = "bar";
+	return result;
+}
+
+void main () {
+	assert (foo () == "bar");
+}