This definitely feels like a logical next step in the refining and generalisation of property wrapper initialization logic.
Would it make sense to also include the Allow Property Wrappers with Multiple Arguments to Defer Initialization when wrappedValue is not Specified proposal in this proposal? I feel like it's also part of refining property wrapper initialization – I know that one of the authors of this proposal, @amritpan, is working on an implementation for it. I'm also curious on how these two proposals play with each other, or whether they might even conflict with each other.
Otherwise, +1 for me.