scala/scala — pull request #589 by retronym (2012-05-20 12:06:49+00:00)
Title: Make implicit divergence checking PolyType aware.

Only a two-line patch, but probably needs a more experienced hand
to rework it to ensure:
- it solves this problem completely
- it doesn't risk a cycle in SymCollector

Fixes SI-5318.

Review, when time allows, by @adriaanm