ruff

[red-knot] simplify != narrowing

#17610

Merged