Implement ceylon/ceylon-spec#869

This requires PR ceylon/ceylon-spec#908.