This is currently allowed but should not be:

s: S
s.x = 2

We must initialize s like this: s: S = S().