From 97ef5823eb88cb6651daea6871e82cc334499979 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 22 Aug 2026 09:03:07 +0100
Subject: Add type params to Rust AST

---
 .../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 feabc12..15bb5c8 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
@@ -63,6 +63,20 @@ public class RustWriterTests {
             pub fn width();"""));
     }
 
+    @Test
+    public void functionWithTypeParams() throws IOException {
+        var rust = RustFunction.arbitrary()
+            .withName(new RustIdentifier("f"))
+            .addTypeParam(RustTypeParam.arbitrary().withName(RustIdentifier.of("T1")))
+            .addTypeParam(RustTypeParam.arbitrary().withName(RustIdentifier.of("T2")))
+            .build();
+
+        var string = write(writer -> writer.writeAssociatedItem(rust));
+
+        assertThat(string, equalTo("""
+            fn f<T1, T2>();"""));
+    }
+
     @Test
     public void functionWithParams() throws IOException {
         var rust = RustFunction.arbitrary()
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 3b07f1d..2254ad9 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
@@ -42,6 +42,12 @@ public final class RustFunctionMatcher implements org.zwobble.precisely.Matcher<
         return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunctionMatcher(submatchers);
     }
 
+    public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunctionMatcher withTypeParams(org.zwobble.precisely.Matcher<? super java.util.List<org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeParam>> typeParams) {
+        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("typeParams", org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunction::typeParams, typeParams));
+        return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunctionMatcher(submatchers);
+    }
+
     public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunctionMatcher withParams(org.zwobble.precisely.Matcher<? super java.util.List<org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunctionParam>> params) {
         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("params", org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFunction::params, params));
-- 
cgit v1.2.3