1 2 3 4 5 6
trait Parent { type Test[A, H[B <: A]] } trait Sub extends Parent { type Test[AS, HS[B <: AS]] = AS }