Added test for ceylon/ceylon.language#257