blob: 3ebdb6930959f94f44e19e17917ca298f80fabfd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
t6895b.scala:20: error: could not find implicit value for parameter e: Foo[[X]Bar[[X]Or[String,X],X]]
implicitly[Foo[({type L[X] = Bar[StringOr, X]})#L]]
^
t6895b.scala:23: error: polymorphic expression cannot be instantiated to expected type;
found : [F[_]]Foo[[X(in type L)(in type L)(in type L)(in type L)(in type L)(in type L)(in type L)(in type L)]Bar[F,X(in type L)(in type L)(in type L)(in type L)(in type L)(in type L)(in type L)(in type L)]]
required: Foo[[X(in type L)(in type L)(in type L)(in type L)(in type L)(in type L)(in type L)(in type L)]Bar[[X]Or[String,X],X(in type L)(in type L)(in type L)(in type L)(in type L)(in type L)(in type L)(in type L)]]
barFoo(null) : Foo[({type L[X] = Bar[StringOr, X]})#L]
^
two errors found
|