Redundant Non-Negative Checks for Unsigned Integers

[gbrigandi]

Traverse fails to detect redundant comparisons where unsigned integers are checked to be greater than or equal to zero. Since uint types are inherently non-negative, conditions like value >= 0 are always true and indicate logical errors or unnecessary code.
Traverse should flag >= 0 comparisons on unsigned integer types as these checks are redundant and may indicate developer confusion about data types or missing validation logic that should check for different conditions.