lampepfl/dotty — pull request #126 by odersky (2014-04-18 09:42:26+00:00)
Title: Fix/erasure

Fixes to make erasure pass typechecking for the whole test suite. There are quite a few of them and we are not done yet.

But we are further than before. In particular, pos_all passes, if we restrict ourselves to one run. bootstrapping dotc still fails, and it seems there are still several sources of errors here.