From 2cfe246d9dffa8d114a89cdfed5eae143fb6e9a0 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Mon, 12 Apr 2021 13:50:53 +0200
Subject: [PATCH] Add regression test

Closes #8276
---
 tests/pos/i8276.scala | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tests/pos/i8276.scala

diff --git a/tests/pos/i8276.scala b/tests/pos/i8276.scala
new file mode 100644
index 000000000000..e68cf009bc33
--- /dev/null
+++ 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)
\ No newline at end of file