Pending test for #625

2 files changed, 11 insertions, 0 deletions

diff --git a/test/pending/neg/t0625.check b/test/pending/neg/t0625.check
new file mode 100644
index 0000000000..45a35eb157
--- /dev/null
+++ b/test/pending/neg/t0625.check
@@ -0,0 +1,7 @@
+<insert expected error message, current one is the following>
+
+t0625.scala:3: error: inferred the kinds of the type arguments (Option[B],Int) do not conform to the expected kinds of the type parameters (type C,type T).
+Option[B]'s type parameters do not match type C's expected parameters: class Option has one type parameter, but type C has one
+  idMap(Some(0))
+  ^
+one error found
diff --git a/test/pending/neg/t0625.scala b/test/pending/neg/t0625.scala
new file mode 100644
index 0000000000..a44a04fd97
--- /dev/null
+++ b/test/pending/neg/t0625.scala
@@ -0,0 +1,4 @@
+object Test {
+  def idMap[C[_],T](m: { def map[U](f: T => U): C[U] }): C[T] = m.map(t => t)
+  idMap(Some(0))
+}