test/files/pos/t690.scala


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);
}