Test case for scala#15288

dotty-staging · Jun 20, 2022 · 620e47c · 620e47c
1 parent f58c158
commit 620e47c
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/tests/pending/pos/i15288/QueryRequest.java b/tests/pending/pos/i15288/QueryRequest.java
@@ -0,0 +1,9 @@
+interface CopyableBuilder<B extends CopyableBuilder<B, T>, T extends ToCopyableBuilder<B, T>> {}
+interface ToCopyableBuilder<B extends CopyableBuilder<B, T>, T extends ToCopyableBuilder<B, T>> {}
+
+public class QueryRequest implements ToCopyableBuilder<QueryRequest.Builder, QueryRequest> {
+    public static Builder builder() { throw new UnsupportedOperationException(); }
+    public interface Builder extends CopyableBuilder<Builder, QueryRequest> {
+        void build();
+    }
+}
diff --git a/tests/pending/pos/i15288/Test_2.scala b/tests/pending/pos/i15288/Test_2.scala
@@ -0,0 +1,3 @@
+object Test:
+  def makeQuery = QueryRequest.builder().build()
+