path: root/test/files/neg/bug667.check

bug667.scala:8 error: class Ni inherits itself
    class Ni extends super.Ni with Ni;
                                   ^
one error found