test: add in a regression test for scala#15913 (scala#17576)

[skip community_build] closes scala#15913
szymon-rd · May 25, 2023 · 53723a3 · 53723a3
2 parents 5262680 + cbd0851
commit 53723a3
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/tests/run/i15913.scala b/tests/run/i15913.scala
@@ -0,0 +1,20 @@
+// https://github.com/lampepfl/dotty/issues/15913
+
+class injector[F]
+
+object injectorFactory {
+  def apply[F](overrides: String*): injector[F] = new injector[F]
+
+  def apply[F](
+    bootstrapActivation: Int = ???,
+    overrides: Seq[String] = Seq.empty,
+  ): injector[F] = new injector[F]
+}
+
+object Test extends App {
+  println(
+    injectorFactory[String](
+      bootstrapActivation = 0
+    )
+  )
+}