test/files/pos/t805.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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;
        ();
      }
    }
  }
}