That must be something new that I haven't dealt with yet. I would stick to the explitit definitions, myself. Maybe you need to change the order, if the above-mentioned checks only happen at definition time, and not when you call the resulting accessor methods.