test: add in a regression test for scala#15546

[skip community_build] closes scala#15546
Florian3k · May 24, 2023 · 4841453 · 4841453
1 parent 261a5ca
commit 4841453
Showing 1 changed file with 14 additions and 0 deletions.
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)
+}
+