Additional test for ceylon/ceylon.language#258