1 files changed, 14 insertions, 0 deletions
diff --git a/test/files/pos/t892.scala b/test/files/pos/t892.scala
new file mode 100644
index 0000000000..41da7095bd
--- /dev/null
+++ b/test/files/pos/t892.scala
@@ -0,0 +1,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;
+    }
+  }
+}