Revive pending test

[odersky]

Fixes #681. Review by @smarter.

[smarter]

It looks like this commit accidentally includes the changes of #1053
Anyway, there's 13 issues marked "Fix available": https://github.com/lampepfl/dotty/issues?q=is%3Aissue+is%3Aopen+label%3A%22Fix+available%22 For most of them, the fix has been merged and we just need to add the test case. I was planning to add all these test cases in one commit and make a PR for that, but didn't get around to it yet. Would you like me to do this today?

[odersky]

Yes, that would be great. Thanks! - Martin

On Mon, Feb 8, 2016 at 8:34 PM, Guillaume Martres notifications@github.com
wrote:

It looks like this commit accidentally includes the changes of #1053
#1053
Anyway, there's 13 issues marked "Fix available":
https://github.com/lampepfl/dotty/issues?q=is%3Aissue+is%3Aopen+label%3A%22Fix+available%22
For most of them, the fix has been merged and we just need to add the test
case. I was planning to add all these test cases in one commit and make a
PR for that, but didn't get around to it yet. Would you like me to do this
today?

—
Reply to this email directly or view it on GitHub
#1069 (comment).

Martin Odersky
EPFL

[smarter]

Superceded by #1071 .