I suspect (but have not checked the generated code...

# language-proposals

[natpryce]

I suspect (but have not checked the generated code) that by declaring them open and then overriding them in the subclass, each field gets stored twice, once in the subclass and once in the superclass.