blob: 40b8570f9f6a207e1523db9b7b8ff44dbb4cde53 (
plain) (
blame)
1
2
3
4
5
6
7
|
t8869.scala:5: error: class Option takes type parameters
def value: TC[({type l1[x] = Option})#l1] = ??? // error not reported!
^
t8869.scala:7: error: class Option takes type parameters
type l2[x] = Option // error correctly reported
^
two errors found
|