tests for ceylon/ceylon.language#535