[#922] | project: compiler | priority: low | category: bug | |
---|---|---|---|---|
submitter | assigned to | status | date submitted | |
Sean | Burak | fixed | 2007-01-29 12:21:15.0 | |
subject | duplicated case not really | |||
code |
trait Test { case class Foo(inside : Object); def foo(that : Any) = that match { case foo @ Foo(inside : String) => foo; case foo : Foo => foo; } } |
|||
what happened | duplicate case type error. |
|||
what expected | no error. | |||
[back to overview] |
Burak edited on 2007-02-05 19:30:56.0 |