Use Iterable[str] instead of Sequence[str] for argv parameters

argparse.ArgumentParser.parse_args() accepts any Iterable[str], not
just Sequence[str]. The latest typeshed reflects this with the signature
`def parse_args(args: Iterable[str] | None = ...) -> Namespace`.

Update all main(argv:) parameters from `Sequence[str] | None` to
`Iterable[str] | None` and adjust imports accordingly.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
default 2026-05-04 07:45:29 +00:00
parent 803469bde8
commit e514e01ee5
31 changed files with 62 additions and 62 deletions

View file

@ -3,7 +3,7 @@ from __future__ import annotations
import argparse
import io
import tokenize
from collections.abc import Sequence
from collections.abc import Iterable, Sequence
from tokenize import tokenize as tokenize_tokenize
NON_CODE_TOKENS = frozenset((
@ -46,7 +46,7 @@ def check_docstring_first(src: bytes, filename: str = '<unknown>') -> int:
return 0
def main(argv: Sequence[str] | None = None) -> int:
def main(argv: Iterable[str] | None = None) -> int:
parser = argparse.ArgumentParser()
parser.add_argument('filenames', nargs='*')
args = parser.parse_args(argv)