On Friday, 26 August 2016 at 09:48:00 UTC, Jonathan M Davis wrote: > And I expect that it will become an error at some point in the > future to define an init member for a user-defined type, at > which point, there won't be any choice about fixing it. I might take a crack at this patch. Sounds pretty trivial.