test/files/pos/t892.scala


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