diff options
-rw-r--r-- | test/pending/neg/t0625.check | 7 | ||||
-rw-r--r-- | test/pending/neg/t0625.scala | 4 |
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)) +} |