1 files changed, 19 insertions, 0 deletions
diff --git a/test/files/pos/t805.scala b/test/files/pos/t805.scala
new file mode 100644
index 0000000000..37bf6b5ef8
--- /dev/null
+++ b/test/files/pos/t805.scala
@@ -0,0 +1,19 @@
+trait MatcherYYY  {
+  trait NodeImpl;
+  trait Matchable extends NodeImpl {
+    protected def doMatch : Unit = {}
+  }
+}
+trait BraceMatcherXXX extends MatcherYYY {
+  trait NodeImpl extends super.NodeImpl {
+    def doMatch  (braces : BracePair) : Unit
+  }
+  trait BracePair {
+    trait BraceImpl extends NodeImpl with Matchable {
+      override def doMatch : Unit = {
+        super.doMatch;
+        ();
+      }
+    }
+  }
+}