9ef5f6817 ^
1 2 3 4 5 6 7
trait T1 { protected abstract class C } trait T2 extends T1 { class D extends C }