test/files/run/t9200/test.scala


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