Merge pull request #12060 from dotty-staging/fix-fix-#8276-2

anatoliykmetyuk · web-flow · commit 69108bf8504c · 2021-04-12T23:56:40.000+02:00
Add regression test
diff --git a/tests/pos/i8276.scala b/tests/pos/i8276.scala
@@ -0,0 +1,7 @@
+object NOTHING
+
+inline given [A]: Conversion[NOTHING.type, Option[A]] = _ => None
+
+def apply[A](p: Vector[A], o: Option[A] = NOTHING): Unit = ???
+
+def test = apply[String](Vector.empty)
