From 6925ba376ee030738d5634574b3f3e353fd19d47 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 26 Jul 2026 00:32:19 +0100 Subject: Allow multiple bounds for Rust trait object type --- .../compiler/output/lang/rust/RustWriterTests.java | 15 ++++++++++++++- .../output/lang/rust/ast/RustTraitObjectTypeMatcher.java | 4 ++-- 2 files changed, 16 insertions(+), 3 deletions(-) (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 8946855..1b3fdac 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 @@ -1078,7 +1078,7 @@ public class RustWriterTests { @Test public void traitObjectTypeWithSingleTraitBound() throws IOException { var rust = RustTraitObjectType.arbitrary() - .withBound(RustPath.of("Any")) + .addBound(RustPath.of("Any")) .build(); var string = write(writer -> writer.writeType(rust)); @@ -1086,6 +1086,19 @@ public class RustWriterTests { assertThat(string, equalTo("dyn Any")); } + @Test + public void traitObjectTypeWithMultipleTraitBounds() throws IOException { + var rust = RustTraitObjectType.arbitrary() + .addBound(RustPath.of("Any")) + .addBound(RustPath.of("Sync")) + .addBound(RustPath.of("Send")) + .build(); + + var string = write(writer -> writer.writeType(rust)); + + assertThat(string, equalTo("dyn Any + Sync + Send")); + } + @Test public void tupleTypeSingleton() throws IOException { var rust = RustTupleType.arbitrary() diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustTraitObjectTypeMatcher.java b/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustTraitObjectTypeMatcher.java index 8d79f6d..021f7e0 100644 --- a/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustTraitObjectTypeMatcher.java +++ b/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustTraitObjectTypeMatcher.java @@ -28,9 +28,9 @@ public class RustTraitObjectTypeMatcher implements org.zwobble.precisely.Matcher return org.zwobble.precisely.Matchers.instanceOf(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTraitObjectType.class, this.submatchers); } - public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTraitObjectTypeMatcher withBound(org.zwobble.precisely.Matcher bound) { + public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTraitObjectTypeMatcher withBounds(org.zwobble.precisely.Matcher> bounds) { var submatchers = new java.util.ArrayList>(this.submatchers); - submatchers.add(org.zwobble.precisely.Matchers.has("bound", org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTraitObjectType::bound, bound)); + submatchers.add(org.zwobble.precisely.Matchers.has("bounds", org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTraitObjectType::bounds, bounds)); return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTraitObjectTypeMatcher(submatchers); } -- cgit v1.2.3