scala/scala — pull request #2215 by paulp (2013-03-08 05:00:06+00:00)
Title: SI-7228, bug in subtyping.

Make isWeakSubType more frequently correct. Simplify widening logic.