File: t1053.scala

package info (click to toggle)

scala 2.9.2%2Bdfsg-2

file content (6 lines) | stat: -rw-r--r-- 135 bytes

trait T[A] { trait U { type W = A; val x = 3 } }

object Test {
  val x : ({ type V = T[this.type] })#V = null
  val y = new x.U { }
}