lampepfl/dotty — pull request #170 by odersky (2014-08-28 21:18:06+00:00)
Title: Change/erasure

All phases including erasure now validate with -Ycheck. Review by @DarkDimius, others invited to participate as well.