Score(assertionfailure, points++);
is perfectly legitimate if its a function call and not a header.
No type declerations are neccessary, this function would just assign those points to that person.
If that person is the only one who currently has points then the variable points is unique to him and
points++ is valid, or this could only a small part of several lines of code, being the only relevant one to
the current discussion.
Point being its not invalid without the rest of you having enough information to show that its invalid.