test/files/run/t0432.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

object Test {
  type valueType = { def value: this.type }

  class StringValue(x: String) {
    def value: this.type = this
  }

  def m(x: valueType) = x.value

  val s = new StringValue("hei")

  def main(args: Array[String]) {
    m(s)
  }
}