Issue.scala

// Framework Code
trait X {
  type T1
}

trait X1 extends X {
  type T1 = SomeConcreteClassT
}

type Module {
  type R <: X
}

// My Code
trait MyX1 extends X1
trait MyModule extends Module {
  type R = MyX1
}
trait MyImpl extends Module {
  def myFunc[T <: X](r : S):Seq[T#T1] = ??? // function implementation which returns SomeConcreteClassT
  def main() {
    myFunc(s) // No ClassTag available for R#T1
  }
}

object MyImplObj extends MyImpl with MyModule