Yeah that’s how we’d do it. Doug suggested the same above:
—
There remains the confusing bit while inspecting using some debugging tool, but we can live with that I suppose.
Totally happy to make that adjustment if we’d decide to accept the proposal with that chance in how we deal with the new api additions 
Would it be possible to document this behaviour as part of the type documentation, like @Douglas_Gregor suggested? That would somehow mitigate the confusing bit (at least a little) 
Thanks everyone for your thoughtful constructive feedback! The proposal has been accepted with modifications.
Holly Borla
Review Manager