blob: 469449dbd5bb7cca3e0a0c4e3bed32bd545f134b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
t7872c.scala:7: error: inferred kinds of the type arguments (List) do not conform to the expected kinds of the type parameters (type F).
List's type parameters do not match type F's expected parameters:
type A is covariant, but type _ is declared contravariant
down(List('whatever: Object))
^
t7872c.scala:7: error: type mismatch;
found : List[Object]
required: F[Object]
down(List('whatever: Object))
^
two errors found
|