lampepfl/dotty — pull request #166 by odersky (2014-08-18 14:29:21+00:00)
Title: Change/later ycheck

Moved -Ycheck to just before erasure. Lots of fixes to make that happen. Review by @DarkDimius