test: add in a regression for scala#12679

[skip community_build] closes scala#12679
ckipp01 · May 14, 2023 · 944a2df · 944a2df
1 parent b0ccf40
commit 944a2df
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/tests/pos/i12679.scala b/tests/pos/i12679.scala
@@ -0,0 +1,9 @@
+// https://github.com/lampepfl/dotty/issues/12679
+
+object Example:
+  def foo[F[_]](qux: String, quux: String = ""): F[Unit] = ???
+
+  def foo[F[_]](qux: Boolean): F[Unit] = ???
+
+  def example[F[_]](maybeQux: Option[String], bool: Boolean) =
+    maybeQux.fold(foo[F](bool))(foo[F](_))