tests/untried/pos/scoping2.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14

object That {
     trait A {
         type T <: I;
         trait I {}
     }
     trait B {
        type T <: J;
        trait J {}
     }
     trait C extends A with B {
         type T <: I with J;
     }
}