Merge pull request #15486 from dotty-staging/test-15288

Test case for #15288

Author: odersky

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();
+    }
+}

tests/pending/pos/i15288/Test_2.scala

@@ -0,0 +1,3 @@
+object Test:
+  def makeQuery = QueryRequest.builder().build()
+