[BUGFIX beta] Prevent mandatory-setter when setter is already present.

Closes #9899.
Fixes #9897.