Aladdin - Scala Bugtracking
[#994] project: compiler priority: low category: bug
submitter assigned to status date submitted
Burak Martin _ 2007-03-12 11:05:38.0
subject type checker does not reject variables in alternatives
code 
object guv { 
  (null:AnyRef) match {
    case x: String | y:Object => x+y
  }
}
what happened 
Exception in thread "main" java.lang.Error: symbol value x does not exist in guv.<init>
        at scala.tools.nsc.backend.icode.GenICode$ICodePhase.scala$tools$nsc$backend$icode$GenICode$ICodePhase$$\
genLoad(GenICode.scala:862)
what expected early error message
[back to overview]
Changes of this bug report
Burak  edited on  2007-03-23 15:54:18.0