From 620e47ca400a877439cf753195b6441eabcb135f Mon Sep 17 00:00:00 2001
From: odersky <odersky@gmail.com>
Date: Mon, 20 Jun 2022 13:38:37 +0200
Subject: [PATCH] Test case for #15288

---
 tests/pending/pos/i15288/QueryRequest.java | 9 +++++++++
 tests/pending/pos/i15288/Test_2.scala      | 3 +++
 2 files changed, 12 insertions(+)
 create mode 100644 tests/pending/pos/i15288/QueryRequest.java
 create mode 100644 tests/pending/pos/i15288/Test_2.scala

diff --git a/tests/pending/pos/i15288/QueryRequest.java b/tests/pending/pos/i15288/QueryRequest.java
new file mode 100644
index 000000000000..12d6b9d2eb25
--- /dev/null
+++ 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
new file mode 100644
index 000000000000..4f2f4dfac68e
--- /dev/null
+++ b/tests/pending/pos/i15288/Test_2.scala
@@ -0,0 +1,3 @@
+object Test:
+  def makeQuery = QueryRequest.builder().build()
+