ruff

fe0a1d16 - [ty] Isolate loop header reachability evaluation in tracked function (#23520)