bug1210.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 10 行

object Test {
  def id[T](f: T => T): T = error("bla")
  
  abstract class M { self =>
  	type Settings
  	type selfType = M {type Settings = self.Settings}

    val v: selfType = id[M.this.selfType](_.v)
  }
}