Fitting code on slides sometimes requires some things to be elided.
The initializer part is something I think is reasonable to contain within the final version (because it is pretty heinous not to have it and rely on the default value definite initialization). Hence why I am a very strong +1 on the init accessors pitch. To me it is clear we need a solution in that space.
The docs should probably be updated. Since that will (with modifications to account for the initializers and identifiable parts) work today.