To clarify the intent; when init accessors land I am intending to have a PR land in conjunction that adds the init accessors to Observable synthesis and removes that compilation error requiring all values have an initial value.
To be honest; I have a feeling that a number of other similar model type things could utilize the init accessors to achieve similar things without requiring a bare initializer; to me that pitch (no matter the spelling that is settled on) seems like a really nice improvement for a number of use cases - and is a really ingenious solution to the problem space.