In the case of traits, it was decided that `trait X: Y { }` was to be preferred over `trait X : Y { }`. I believe that this should use `": "` rather than `" : "` for consistency.