We always put properties (and getters/setters as extensions of properties) on the same line with `@published`, `@observable`, etc. We put `@override` on a separate line.