Used to annotate a value that may be negative; uses of it should check
for negative values before using it in a way that requires the value to
Clearly the name shoudl be @CheckForNegative, not @CheckForSigned.
Alternately, if it really is a sign check, then the comment needs to be
Elliotte Rusty Harold elh...@metalab.unc.edu
Refactoring HTML Just Published!
So the annotation name is correct, I'll fix the documentation.