I would really like to see a type-safe equals operator that works without derivation (e.g., Dog == Dog should compile, but Cat == Dog should not). It's not just a weak point in conditional pattern matching, I would say it's a major vulnerability. 

Evolving Scala



