1 files changed, 10 insertions, 0 deletions
diff --git a/tests/untried/neg/tcpoly_override.scala b/tests/untried/neg/tcpoly_override.scala
new file mode 100644
index 000000000..dd043b47e
--- /dev/null
+++ b/tests/untried/neg/tcpoly_override.scala
@@ -0,0 +1,10 @@
+// t1231: reported by Vladimir Reshetnikov on 19 July 2007
+trait A {
+ type T[_]
+}
+
+trait B // First-order type
+
+class C extends A {
+ type T = B // This compiles well (@M: ... but it shouldn't)
+}