test: add in a regression test for #15546 (#17569)

nicolasstucki · web-flow · commit 32add3d09606 · 2023-05-24T12:11:36.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)
+}
+
