From 9292bcc5afad502a316ed0f4020cd6ff83c52f11 Mon Sep 17 00:00:00 2001
From: Chris Kipp <ckipp@pm.me>
Date: Sun, 14 May 2023 14:36:06 +0200
Subject: [PATCH] test: add in a regression test for #12679

[skip community_build]

closes #12679
---
 tests/pos/i12679.scala | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/pos/i12679.scala

diff --git a/tests/pos/i12679.scala b/tests/pos/i12679.scala
new file mode 100644
index 000000000000..fed62c72dd42
--- /dev/null
+++ 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](_))