From ecaeeff6a93de120a61bbd50dc545ae44dd4e93b Mon Sep 17 00:00:00 2001
From: retronym <jzaugg@gmail.com>
Date: Mon, 14 Feb 2011 08:21:18 +0100
Subject: [PATCH] Test case closes #2070. No review.

---
 test/files/neg/t2070.check |  5 +++++
 test/files/neg/t2070.scala | 10 ++++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 test/files/neg/t2070.check
 create mode 100644 test/files/neg/t2070.scala

diff --git a/test/files/neg/t2070.check b/test/files/neg/t2070.check
new file mode 100644
index 000000000..bd049409a
--- /dev/null
+++ b/test/files/neg/t2070.check
@@ -0,0 +1,5 @@
+t2070.scala:8: error: The kind of trait T does not conform to the expected kind of type T[X] in trait A.
+t2070.B.T's type parameters do not match type T's expected parameters: type X (in object B) has one type parameter, but type X (in trait A) has none
+    trait T[X[_]]
+          ^
+one error found
diff --git a/test/files/neg/t2070.scala b/test/files/neg/t2070.scala
new file mode 100644
index 000000000..c810568ed
--- /dev/null
+++ b/test/files/neg/t2070.scala
@@ -0,0 +1,10 @@
+object t2070 {
+  trait A {
+    type T[X]
+    def f(x : T[Int]) = x
+  }
+
+  object B extends A {
+    trait T[X[_]]
+  }
+}