blob: 6082b271b3efa9014369eef4d650382a97bbe367 (
plain) (
tree)
|
|
object test {
trait A { type T; }
trait B { type T; }
def functor(x: A): B { type T = x.T } =
new B {
type T = x.T;
};
val a = new A { type T = String };
val b = functor(a);
val s: b.T = "coucou";
}
|