dependent_method_types.scala

abstract class C {
  type T

  val r: T
}
object C {
  def m(t: C): t.T = t.r
}

class Ex {
  val c = new C() {
    type T = Int
    val r = 4
  }
  val i = C.m(c)
}