| [#537] | project: nsc | priority: low | category: bug | |
|---|---|---|---|---|
| submitter | assigned to | status | date submitted | |
| Iulian | Martin | fixed | 2006-02-23 16:48:38.0 | |
| subject | wrong erased type for 'ScalaObject' | |||
| code |
object Main {
def zero = false;
if (zero)
List(1, 2);
else
Triple(1, 2, 3);
} |
|||
| what happened | After erasure, the 'if' expression has type 'ScalaObject$class' instead of 'ScalaObject'. That's bad, since Scal\ aObject$class is not a super-class of List or Tuple3, and the backend will choke on that. |
|||
| what expected | .. | |||
| [back to overview] | ||||
| Martin edited on 2006-02-25 19:10:39.0 |