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

michel2.scala:1: Java class may not be used as mixin
class A() extends java.lang.Object() with java.util.Random() { }
                                                          ^
one error found