From e0d1f37583654d66ce6fc6bef9e0744fb89ea1b1 Mon Sep 17 00:00:00 2001
From: Chris Kipp <ckipp@pm.me>
Date: Mon, 15 May 2023 14:10:08 +0200
Subject: [PATCH] test: add in a regression test for #14278

[skip community_build]

closes #14278
---
 tests/pos/i14278.scala | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tests/pos/i14278.scala

diff --git a/tests/pos/i14278.scala b/tests/pos/i14278.scala
new file mode 100644
index 000000000000..ebc9376fbad5
--- /dev/null
+++ b/tests/pos/i14278.scala
@@ -0,0 +1,6 @@
+// https://github.com/lampepfl/dotty/issues/14278
+class Foo
+
+extension (foo: Foo)
+  def patch(arg: List[Int], arg2: Int = 0): Unit = {}
+  def patch(arg: Int): Unit = patch(List(arg))