test/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 {}
     }
     type C = A with B {
         type T <: I with J;
     }
}