I think this comment from the initial discussion thread illustrates the proposed change quite well.
The entire point is to not require = 17 just to make it compile. Instead, synthesize an init that has property: Int as a parameter, just as the compiler would do if property were not wrapped by a property wrapper.