blob: 0d731ccf9fc43183b40c0aaaa926a2d055d3f17d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
class A
class B
class C
object Test {
type F = A with B
def main(args: Array[String]) {
import reflect.runtime.universe._
val t1 = typeOf[F with C]
val t2 = typeOf[(A with B) with C]
val t3 = typeOf[A with B with C]
assert(t1 =:= t2)
assert(t2 =:= t3)
assert(t3 =:= t1)
}
}
|