1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
object Comp extends App { trait Family { type T } object Trivial extends Family { type T = Unit } trait Wrap extends Family { val v : Family type T = v.T } object WrapTrivial extends Wrap { val v = Trivial } object WrapWrapTrivial extends Wrap { val v = WrapTrivial } }