scala/scala — pull request #1096 by rklaehn (2012-08-09 01:22:04+00:00)
Title: Implemented specialized filter for HashSet

The new implementation does not rebuild the tree from scratch like the builder-based filter method does.

This time it is based on 2.10.x, and it also passes ant test.suite.