path: root/test/files/neg/vincent1.check

vincent1.scala:7: type x.type escapes its defining scope as part of java.lang.Object with scala.ScalaObject { type T = x.T }
  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