dependent_method_types2.scala

abstract class C {
  type T
  
  var r: T = _
}

object C {
  def m[CC <: C](t: CC)(nl: CC#T) {
    t.r = nl // type mismatch;  found   : nl.type (with underlying type CC#T)  required: t.T
  }
}

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