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