blob: 0af526d6aa1a0d6b7d2c223f16c42785c37b82e7 (
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 with { type T = x.T } */
abstract class functor() {
val arg: A;
val res: B with { type T = arg.T } =
new B with { type T = arg.T; };
}
val a = new A with { type T = String };
/** val b: B with { type T = String } = functor(a) */
val b: B with { type T = String } = {
val tmp = new functor() with { val arg = a };
tmp.res
}
}
|