Merge pull request #12952 from griggt/fix-i9460

Fix #9460: Add regression test

Author: anatoliykmetyuk

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

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()