mypyc crashes when using a narrowed type that is not found at compile time
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
The following worked with mypy<1.0.
To Reproduce
import not_found_at_compile_time
# in my case: the PEP-517 build dependencies did not list all the runtime dependencies to be also present at build/compile time
def test(x: dict[int, int] | not_found_at_compile_time.A) -> None:
if isinstance(x, dict):
test = {key: value for key, value in x.items()}
Expected Behavior
mypyc does not crash.
Actual Behavior
mypyc crashes:
$ mypy test.py
Success: no issues found in 1 source file
$ mypyc test.py
Traceback (most recent call last):
File "mypyc/irbuild/builder.py", line 247, in accept
File "mypy/nodes.py", line 2368, in accept
File "mypyc/irbuild/visitor.py", line 314, in visit_dictionary_comprehension
File "mypyc/irbuild/expression.py", line 995, in transform_dictionary_comprehension
File "mypyc/irbuild/for_helpers.py", line 330, in comprehension_helper
File "mypyc/irbuild/for_helpers.py", line 290, in handle_loop
File "mypyc/irbuild/for_helpers.py", line 101, in for_loop_helper
File "mypyc/irbuild/for_helpers.py", line 467, in make_for_loop_generator
File "mypyc/irbuild/builder.py", line 901, in get_dict_item_type
File "mypyc/irbuild/builder.py", line 893, in get_dict_key_type
File "mypyc/irbuild/builder.py", line 888, in get_dict_base_type
test.py:6: AssertionError: Union[builtins.dict[builtins.int, builtins.int], builtins.dict[Any, Any]]
Your Environment
- Mypy version used: 1.0.0
- Python version used: 3.11.1
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
Reproduziere den Absturz aus dem test.py-Beispiel des Issues und untersuche anschließend mypyc/irbuild/builder.py im Umfeld von get_dict_base_type, get_dict_key_type und get_dict_item_type sowie den Pfad für Dictionary-Comprehensions in mypyc/irbuild/for_helpers.py. Füge einen Regressionstest hinzu, der einen eingeengten Typ abdeckt, dessen Abhängigkeit zur Compile-Zeit nicht verfügbar ist; fertig ist die Änderung, wenn mypyc ohne den AssertionError durchläuft.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 48/100