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