blob: b61c8c4127fc2f7a480b40acc831223b05998862 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
module test {
trait A { type T; }
trait B { type T; }
/** def functor(x: A): B { type T = x.T } */
abstract class functor() {
val arg: A;
val res: B { type T = arg.T } =
new B { type T = arg.T; };
}
val a = new A { type T = String };
/** val b: B { type T = String } = functor(a) */
val b: B { type T = String } = {
val tmp = new functor() { val arg = a };
tmp.res
}
}
|