scala/scala — pull request #625 by retronym (2012-05-25 20:27:35+00:00)
Title: SI-5318 Make implicit divergence checking PolyType aware.

Replaces the two active subclasses of `SymCollector` with
direct use of traversal methods of `Type`.

Wildcard free class type parameters, not just method type parameters,
when strippingthe core type of candidate implicits. The spec doesn't
make any such distinction, and the enclosed test, t5318c, crashes
without this change.