test: add in a regression test for #15546

ckipp01 · ckipp01 · commit 484145390b86 · 2023-05-24T10:35:43.000+02:00
[skip community_build] closes #15546
diff --git a/tests/pos/i15546.scala 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)
+}
+
