From 484145390b860e8426e52955899f4013737c5f47 Mon Sep 17 00:00:00 2001
From: Chris Kipp <ckipp@pm.me>
Date: Wed, 24 May 2023 10:35:43 +0200
Subject: [PATCH] test: add in a regression test for #15546

[skip community_build]

closes #15546
---
 tests/pos/i15546.scala | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 tests/pos/i15546.scala

diff --git a/tests/pos/i15546.scala b/tests/pos/i15546.scala
new file mode 100644
index 000000000000..19c7f15b24f1
--- /dev/null
+++ b/tests/pos/i15546.scala
@@ -0,0 +1,14 @@
+// https://github.com/lampepfl/dotty/issues/15546
+
+trait Foo[F[_]]
+
+object Bug {
+  def apply[F[_]: Foo](
+      await: Boolean,
+      whatever: Int = 0
+  ): Nothing = ???
+
+  def apply[F[_]: Foo]: Nothing =
+    apply[F](false)
+}
+