Error with mixing str and pathlib.Path in command line arguments list
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
mypy raises error if list of command line arguments (passing to subprocess.call) contains items of different types (for example, str and pathlib.Path). It can be fixed by adding type hint to variable, but it's too annoying.
To Reproduce
import pathlib
import subprocess
cmd = [pathlib.Path('bash'), '-c', 'echo Hello']
subprocess.call(cmd)
Expected Behavior
mypy should not raise any error.
Actual Behavior
main.py:5: error: Argument 1 to "check_call" has incompatible type "List[object]"; expected "Union[Union[str, bytes, PathLike[str], PathLike[bytes]], Sequence[Union[str, bytes, PathLike[str], PathLike[bytes]]]]"
Found 1 error in 1 file (checked 1 source file)
Why can't mypy recognize cmd type as List[Union[pathlib.Path, str]], not List[object]?
Environment
- Mypy version used: 0.961
- Python version used: 3.10
- Operating system: Linux
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginnen Sie mit dem bereitgestellten Python-Reproducer und der Typisierung von subprocess.call. Verfolgen Sie anschließend, wie mypy den Typ einer gemischten Liste mit pathlib.Path und str ableitet. Bestätigen Sie die Änderung mit einem Regressionstest, der die gezeigte Liste von Befehlszeilenargumenten verwendet, und überprüfen Sie, dass mypy keinen Fehler meldet, während die bestehenden Prüfungen für subprocess-Argumente intakt bleiben.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- devtools
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 45/100