I don't think there is a problem as long as the properties in the superclass and the superclass itself are abstract like in your example.
What would be the synthetic generation look like if the super class declared concrete fields that you are not overriding?