summaryrefslogtreecommitdiff
path: root/test/files/neg/higherkind_novalue.check
blob: 932f7876b1ff4923763de11c291bdfa7c7397d7a (plain) (blame)
1
2
3
4
5
6
7
higherkind_novalue.scala:2: error: type m takes type parameters
  val x: m // type of kind *->* doesn't classify a value, but a val/def/... can only contain/return a value
         ^
higherkind_novalue.scala:3: error: type m takes type parameters
  def y: m
         ^
two errors found