Getter doc for explicitGetterImplicitSetter
Docs for explicitGetterImplicitSetter from ImplicitProperties.