blob: 41da7095bdea60c3e0db77c784811fcb185d3e98 (
plain) (
tree)
|
|
package test;
object Test {
trait Core {
abstract class Visitor[T <: Visitor[T]];
trait HasVisitor {
def visit[T <: Visitor[T]](initial : T) : T;
}
}
trait Ext extends Core {
class Foo {
def visit[T <: Visitor[T]](initial : T) : T = initial;
}
}
}
|