File: bug758.scala

package info (click to toggle)

scala 2.7.7.dfsg-4

file content (7 lines) | stat: -rw-r--r-- 147 bytes

trait A { type T; type M >: T }
trait B extends A { 
  val x : String; 
  val u : A { type T = B.this.T } ; 
  type T = x.type; 
  type M = u.M 
}