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

Closes #9899.
Fixes #9897.
But it does seem that we agree that we still need the `x in y` check (for inheritance).