ruff
[red-knot] Remove an unnecessary branch and a confusing TODO comment
#14915
Merged
Merged