Aladdin - Scala Bugtracking
[#42] project: compiler priority: medium category: bug
submitter assigned to status date submitted
Matthias Michel fixed 2003-06-25 09:40:58.0
subject this-types in parameters crash backend
code 
class C {
  def foo(a: C, b: a.type): Unit = ()
}
what happened 
Compiler crash:

Exception in thread "main" java.lang.ClassCastException
        at scalac.symtab.SymbolSubstTypeMap.apply(SymbolSubstTypeMap.java:138)
        at scalac.transformer.AddInterfacesPhase.deepCloneSymbol(AddInterfacesPhase.java:211)
        at scalac.transformer.AddInterfacesPhase.getClassSymbol(AddInterfacesPhase.java:295)
        at scalac.transformer.AddInterfaces.transform(AddInterfaces.java:103)
        at scalac.transformer.AddInterfaces.transform(AddInterfaces.java:67)
        at scalac.ast.Transformer.apply(Transformer.java:71)
        at scalac.ast.Transformer.apply(Transformer.java:66)
        at scalac.ast.Transformer.apply(Transformer.java:62)
        at scalac.transformer.AddInterfacesPhase.apply(AddInterfacesPhase.java:35)
        at scalac.Global.compile(Global.java:268)
        at scalac.Global.compile(Global.java:244)
        at scalac.Main.main(Main.java:32)
what expected No error or typechecker fails.
[back to overview]
Changes of this bug report