3 files changed, 28 insertions, 0 deletions
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriter.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriter.java
index 1d14b29..52c2db1 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriter.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriter.java
@@ -426,10 +426,15 @@ public class JavaWriter implements AutoCloseable {
             case JavaTypeArg.Invariant invariant -> {
                 writeTypeRef(invariant.type(), writer);
             }
+
             case JavaTypeArg.SuperType superType -> {
                 writer.write("? super ");
                 writeTypeRef(superType.type(), writer);
             }
+
+            case JavaTypeArg.Wildcard wildcard -> {
+                writer.write("?");
+            }
         }
     }
 
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/ast/JavaTypeArg.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/ast/JavaTypeArg.java
index 8253275..6e520a2 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/ast/JavaTypeArg.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/java/ast/JavaTypeArg.java
@@ -14,4 +14,11 @@ public sealed interface JavaTypeArg {
 
     record SuperType(JavaTypeRef type) implements JavaTypeArg {
     }
+
+    static JavaTypeArg wildcard() {
+        return new Wildcard();
+    }
+
+    record Wildcard() implements JavaTypeArg {
+    }
 }
diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriterTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriterTests.java
index fb41fa8..de39610 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriterTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/output/lang/java/JavaWriterTests.java
@@ -924,6 +924,22 @@ public class JavaWriterTests {
     }
 
     @Test
+    public void typeRefArgCanBeWildcard() throws IOException {
+        var java = JavaTypeRef.topLevelGeneric(
+            JavaPackageName.of("abc", "def"),
+            JavaIdentifier.of("One"),
+            List.of(
+                JavaTypeArg.wildcard(),
+                JavaTypeArg.wildcard()
+            )
+        );
+
+        var string = write(writer -> writer.writeTypeRef(java));
+
+        assertThat(string, equalTo("abc.def.One<?, ?>"));
+    }
+
+    @Test
     public void typeRefInnerTypeNameIsSeparatedByDot() throws IOException {
         var java = JavaTypeRef.inner(
             JavaPackageName.of("abc", "def"),