Remove workaround for ceylon/ceylon-compiler#1723

The issue isn’t closed yet, but the bug seems to be fixed – at least,
the test now works like this.