blob: a9f60e9ad2e8f3db1e12b046ab751e6fbf8e74a5 (
plain) (
tree)
|
|
vincent1.scala:7: type x.type escapes its defining scope as part of scala.Object { 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
|