abstract class A {
    type t
}

abstract class B[C <: A] {
    def foo(c : C.t) : Unit
}