More sensible would be to not overload the ++ or +1 operator to do this but provide a different function. Then the capability is there but something unexpected

More sensible would be to not overload the ++ or +1 operator to do this but provide a different function. Then the capability is there but something unexpected doesn't happen in the presence of type errors.