Updated annotations for ceylon/ceylon.language#291