diff --git a/tests/neg/i9460.check b/tests/neg/i9460.check
new file mode 100644
index 000000000000..2d1c08f6cf4d
--- /dev/null
+++ b/tests/neg/i9460.check
@@ -0,0 +1,5 @@
+-- Error: tests/neg/i9460.scala:3:6 ------------------------------------------------------------------------------------
+3 |class C extends B  // error
+  |      ^
+  |      parameterized trait A is indirectly implemented,
+  |      needs to be implemented directly so that arguments can be passed
diff --git a/tests/neg/i9460.scala b/tests/neg/i9460.scala
new file mode 100644
index 000000000000..9cc08bf2ad4d
--- /dev/null
+++ b/tests/neg/i9460.scala
@@ -0,0 +1,4 @@
+trait A(val s: String) { println(s) }
+trait B extends A { override val s = "B" } // requires override val s
+class C extends B  // error
+@main def Test = C()