summaryrefslogtreecommitdiff
path: root/test/neg/vincent1.check
blob: 32dffd2884b69a95440adfcee359fca7a0a97b74 (plain) (blame)
1
2
3
4
5
6
7
vincent1.scala:7: stable identifier required, but x found.
  class Functor(x: A) { type T = x.T }
                                 ^
vincent1.scala:9: type x.type escapes its defining scope as part of test.B { type T = x.T }
  def functor(x: A): B { type T = x.T } =
                     ^
two errors found