scala/scala — pull request #877 by magarciaEPFL (2012-07-11 15:42:30+00:00)
Title: SI-6015 assertion (in Type-flow analysis) that wasn't, valid counterexample found

review by @VladUreche