5471f011f8 ^
1 2 3 4 5 6 7 8 9 10 11 12
trait W trait T1 trait T2 extends T1 object O1 { type t = T1 with T2 } class C1[w<:W](o: O1.t) class C2 extends T1 with T2