summaryrefslogtreecommitdiff
path: root/test/pending/neg/t0625.check
blob: 45a35eb157dfbec79236bdb9667f3d99393f8bb9 (plain) (blame)
1
2
3
4
5
6
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