blob: a93c54f007e202a4b3ac924ccce44d5ef3978f0a (
plain) (
tree)
|
|
package test;
trait test {
type T;
trait Manager {
type T <: test.this.T;
def foo(t : T) = {};
}
object M0 extends Manager {
override type T = test.this.T;
override def foo(t : T) = super.foo(t);
}
def t : T;
M0.foo(t);
}
|