Fixes type range issue during linting (#16684)

 - Ensures the propagated negation sign is properly utilized during type checking.
 - Combines #16962, Closes #16684.