asf.scala

// A.scala
abstract class A {
  type T <: S
  type S
  object X {
    def foo: T = null.asInstanceOf[T]
  }
}
// B.scala
class B extends A {
  type S <: Int
}
// C.scala
object C extends B
// D.scala
object D {
  val x: Int = C.X.foo
}