blob: 53104be640f9da8ee1ced01cd7a197dc90a1865b (
plain) (
tree)
|
|
module 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";
}
|