It would seem to maybe require support for property overloads, which seems like a dicey proposal. The only other choice I see is revisiting the unimplemented decision and suggest its removal by way of any proposal made after this pitch. Would love to hear other solutions, though, that don't conflict!