blob: 3a447241fe121b46debf24b2212bb91c74297fad (
plain) (
tree)
|
|
package test;
object test {
abstract class A {
abstract class C {
type M;
def foo(n : M) : Unit = {}
}
}
trait B extends A {
type N;
trait C extends super.C {
type M = N;
override def foo(n : M) : Unit = super.foo(n);
}
}
}
|