blob: 0c7f0c945169a1a7d9d56b8d9dab5c51cc2937d2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
class TC[T[_]] {
def identity[A](a: T[A]): T[A] = a
}
object Test {
def value: TC[({type l1[x] = Option})#l1] = ??? // error not reported!
type l2[x] = Option // error correctly reported
def value1: TC[l2] = ???
}
|