Aladdin - Scala Bugtracking
[#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]
Changes of this bug report
Burak  edited on  2007-02-05 19:30:56.0