lampepfl/dotty — pull request #57 by odersky (2014-03-12 14:25:03+00:00)
Title: Fixes for tests t00xx

Miscellaneous fixes for problems uncovered in scala/pos tests.