From 30db9ed9ab6922ea703321b09f03e9fa2eb28235 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Thu, 2 Jul 2026 23:33:17 +0100
Subject: Add return type to functions

---
 .../compiler/output/lang/rust/RustWriterTests.java         | 14 ++++++++++++++
 .../compiler/output/lang/rust/ast/RustFunctionMatcher.java |  6 ++++++
 2 files changed, 20 insertions(+)

(limited to 'src/test/java/org/zwobble')

diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriterTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriterTests.java
index dd1729b..b7e3047 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriterTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriterTests.java
@@ -155,6 +155,20 @@ public class RustWriterTests {
             }"""));
     }
 
+    @Test
+    public void functionWithReturnType() throws IOException {
+        var rust = RustFunction.arbitrary()
+            .withName(new RustIdentifier("area"))
+            .withReturnType(Optional.of(RustTypePath.of("i32")))
+            .build();
+
+        var string = write(writer -> writer.writeAssociatedItem(rust));
+
+        assertThat(string, equalTo("""
+            fn area() -> i32 {
+            }"""));
+    }
+
     @Test
     public void emptyInherentImpl() throws IOException {
         var rust = RustInherentImpl.arbitrary().withType(RustTypePath.of("Square")).build();
diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustFunctionMatcher.java b/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustFunctionMatcher.java
index ac6d126..1526d18 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustFunctionMatcher.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustFunctionMatcher.java
@@ -40,6 +40,12 @@ public class RustFunctionMatcher implements org.zwobble.precisely.Matcher<java.l
         return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunctionMatcher(submatchers);
     }
 
+    public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunctionMatcher withReturnType(org.zwobble.precisely.Matcher<? super java.util.Optional<org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustType>> returnType) {
+        var submatchers = new java.util.ArrayList<org.zwobble.precisely.Matcher<? super org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunction>>(this.submatchers);
+        submatchers.add(org.zwobble.precisely.Matchers.has("returnType", org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunction::returnType, returnType));
+        return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunctionMatcher(submatchers);
+    }
+
     // Custom area start: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunctionMatcher body
     // Custom area end: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunctionMatcher body
 }
-- 
cgit v1.2.3