[#1041] | project: compiler | priority: low | category: bug | |
---|---|---|---|---|
submitter | assigned to | status | date submitted | |
Gilles | Martin | fixed | 2007-04-10 17:07:19.0 | |
subject | impossible cases in match are tolerated | |||
code |
(1 :: 2 :: Nil) match { case 1 => 4 } |
|||
what happened | It compiles. |
|||
what expected | It should not compile. The compiler should know that a List[Int] cannot be matched by an Int. | |||
[back to overview] |
Martin edited on 2007-04-16 09:58:58.0 |