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