This getter is documented, so we should see a read-only property here.
@nodoc here, you should never see this