diff --git a/tests/neg-macros/i9685.check b/tests/neg-macros/i9685.check
new file mode 100644
index 000000000000..bb25a0808aca
--- /dev/null
+++ b/tests/neg-macros/i9685.check
@@ -0,0 +1,5 @@
+
+-- [E008] Not Found Error: tests/neg-macros/i9685/Test_2.scala:3:4 -----------------------------------------------------
+3 |  1.asdf // error
+  |  ^^^^^^
+  |  value asdf is not a member of Int
diff --git a/tests/neg-macros/i9685/Macros_1.scala b/tests/neg-macros/i9685/Macros_1.scala
new file mode 100644
index 000000000000..b986afc2213f
--- /dev/null
+++ b/tests/neg-macros/i9685/Macros_1.scala
@@ -0,0 +1,11 @@
+import scala.language.implicitConversions
+
+class Clue[+T](val value: T)
+
+object Clue {
+  import scala.quoted._
+
+  inline implicit def generate[T](value: T): Clue[T] = ${ clueImpl('value) }
+
+  def clueImpl[T:Type](value: Expr[T])(using Quotes): Expr[Clue[T]] = '{ new Clue($value) }
+}
diff --git a/tests/neg-macros/i9685/Test_2.scala b/tests/neg-macros/i9685/Test_2.scala
new file mode 100644
index 000000000000..4fbb2ca1ab13
--- /dev/null
+++ b/tests/neg-macros/i9685/Test_2.scala
@@ -0,0 +1,4 @@
+object Main {
+  def toClue[A](a: A): Clue[A] = Clue.generate(a)
+  1.asdf // error
+}
\ No newline at end of file