Ensure that try statements create new block

2 files changed, 16 insertions, 1 deletions

diff --git a/src/test/java/org/zwobble/couscous/tests/frontends/java/JavaReaderTests.java b/src/test/java/org/zwobble/couscous/tests/frontends/java/JavaReaderTests.java
index fdcfce6..73745b2 100644
--- a/src/test/java/org/zwobble/couscous/tests/frontends/java/JavaReaderTests.java
+++ b/src/test/java/org/zwobble/couscous/tests/frontends/java/JavaReaderTests.java
@@ -20,6 +20,7 @@ import static org.zwobble.couscous.ast.ExpressionStatementNode.expressionStateme
 import static org.zwobble.couscous.ast.FieldAccessNode.fieldAccess;
 import static org.zwobble.couscous.ast.FormalTypeParameterNode.formalTypeParameter;
 import static org.zwobble.couscous.ast.IfStatementNode.ifStatement;
+import static org.zwobble.couscous.ast.LiteralNode.UNIT;
 import static org.zwobble.couscous.ast.LiteralNode.literal;
 import static org.zwobble.couscous.ast.LocalVariableDeclarationNode.localVariableDeclaration;
 import static org.zwobble.couscous.ast.MethodCallNode.methodCall;
@@ -235,6 +236,17 @@ public class JavaReaderTests {
     }
 
     @Test
+    public void canReadTryWithEmptyFinallyClause() {
+        assertThat(
+            readStatement("void", "try { return; } finally { }"),
+            isTryStatement(
+                hasTryBody(list(returns(UNIT))),
+                hasFinally()
+            )
+        );
+    }
+
+    @Test
     public void canReadTryWithResourceWithoutOtherClauses() {
         ScalarType type = ScalarType.of("java.io.ByteArrayOutputStream");
         Identifier identifier = MAIN_IDENTIFIER.variable("closeable");
diff --git a/src/test/java/org/zwobble/couscous/tests/frontends/java/NodeMatchers.java b/src/test/java/org/zwobble/couscous/tests/frontends/java/NodeMatchers.java
index 5815e68..c8fede8 100644
--- a/src/test/java/org/zwobble/couscous/tests/frontends/java/NodeMatchers.java
+++ b/src/test/java/org/zwobble/couscous/tests/frontends/java/NodeMatchers.java
@@ -86,7 +86,10 @@ public class NodeMatchers {
     }
 
     public static Matcher<TryNode> hasFinally(StatementNode... statements) {
-        return hasFeature("finally clause", TryNode::getFinallyBody, contains(statements));
+        Matcher<Iterable<? extends StatementNode>> statementsMatcher = statements.length == 0
+            ? emptyIterable()
+            : contains(statements);
+        return hasFeature("finally clause", TryNode::getFinallyBody, statementsMatcher);
     }
 
     @SafeVarargs