Aladdin - Scala Bugtracking
[#41] project: compiler priority: medium category: bug
submitter assigned to status date submitted
Matthias Michel fixed 2003-06-25 09:36:40.0
subject Incorrect mixin composition
code 
class C {
  val x: Object = null;
}
class D with C {
}
object Bug {
  def main(args: Array[String]) = {
    val obj = new D;
  }
}
what happened 
The program compiles, but execution of module Bug yields the following error:

Exception in thread "main" java.lang.VerifyError: (class: D$class, method: x signature: ()Lscala/Object;)
Incompatible type for getting or setting field
        at Bug$.main(Bug10.scala:8)
        at Bug.main(Bug10.scala)
what expected No error at compile- and runtime.
[back to overview]
Changes of this bug report