Now we can remove the nasty workaround and fix #828 because of
https://github.com/ceylon/ceylon-compiler/commit/3dcc5e2e9442c96d02695ab60eda8426b857b92a