Aladdin - Scala Bugtracking
[#43] project: compiler priority: medium category: bug
submitter assigned to status date submitted
Matthias Martin fixed 2003-06-19 16:11:41.0
subject Typechecker crashes for malformed case class
code 
case class C[A >: C](x: A) {}
what happened 
Crash:

Bug12.scala:1: illegal cyclic reference involving type A
case class C[A >: C](x: A) {
                     ^
Exception in thread "main" java.lang.AssertionError: value x
        at scalac.symtab.Symbol.info(Symbol.java:553)
        at scalac.symtab.Symbol.type(Symbol.java:615)
        at scalac.typechecker.DeSugarize.addCaseElement(DeSugarize.java:670)
        ...case class C[A >: C](x: A) {}
what expected Typechecker fails but doesn't crash.
[back to overview]
Changes of this bug report
Martin  edited on  2003-07-02 17:48:31.0