tests/neg/i827.scala


1
2
3
4
5
6
7

trait A { trait Inner }
trait B { self: A =>
  trait Inner extends self.Inner // error: cannot merge trait Inner in trait A with trait Inner in trait B as members of type (A & B)(B.this)
}


class C extends C // error: cyclic inheritance: class C extends itself