regression: "unecessary #type ignore" reported in stdlib

[bukzor]

I've pinpointed this regression to 1.401.

$ pyright --verbose lib/sudo-gcp/sudo_gcp/__main__.py
Loading pyproject.toml file at ./pyproject.toml
Execution environment: python
  Extra paths:
    ./venv/lib/python3.13/site-packages
  Python version: 3.13
  Python platform: Linux
Found 1 source file
pyright 1.1.401
  ./node_modules/.pnpm/pyright@1.1.401/node_modules/pyright/dist/typeshed-fallback/stdlib/_typeshed/_type_checker_internals.pyi
  ./node_modules/.pnpm/pyright@1.1.401/node_modules/pyright/dist/typeshed-fallback/stdlib/_typeshed/_type_checker_internals.pyi:52:91 - error: Unnecessary "# type: ignore" comment (reportUnnecessaryTypeIgnoreComment)
1 error, 0 warnings, 0 informations

By contrast, in 1.1.400

[2025-05-21 Wed PM 02:09-0500] buck@macbookpro.lan $ pyright --verbose lib/sudo-gcp/sudo_gcp/__main__.py
Loading pyproject.toml file at ./pyproject.toml
Execution environment: python
  Extra paths:
    ./venv/lib/python3.13/site-packages
  Python version: 3.13
  Python platform: Linux
Found 1 source file
pyright 1.1.400
0 errors, 0 warnings, 0 informations

[bukzor]

Minimal reproduction:

cat > main.py <<EOF
def main():
    pass
EOF

cat >pyproject.toml <<EOF
[tool.pyright]
reportUnnecessaryTypeIgnoreComment = "error"
EOF


virtualenv .venv
./.venv/bin/pip install pyright
./.venv/bin/pyright .

[srittau]

In fact, we can't update pyright in typeshed due to this bug. The # type: ignore[misc] statement in this location is necessary for mypy, and pyright should not warn about it when running our test cases. See python/typeshed#14121.

Also related #10484