blob: 3fcdca785d9235736d151030ce114083025c973c (
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);
}
|