I'm proposing that using :: to get a property refe...

# language-proposals

[natpryce]

I'm proposing that using :: to get a property reference of a data class would return a subtype of KProperty1 that had an operation to invoke the class' copy method passing a new value for the property.