blob: a93c54f007e202a4b3ac924ccce44d5ef3978f0a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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);
}
|