Checking a match on an enum becomes quadratically slow after the variable was narrowed by an == check
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 4/5
- Tempo estimado
- 3-5 dias
- Facilidade para iniciantes
- 55/100
Direção de pesquisa
Comece com a reprodução vinculada no Playground e compare o tempo de verificação de tipos com e sem a verificação antecipada x == E.M0. Rastreie os caminhos de narrowing de enum e de verificação de match no mypy; em seguida, verifique se o exemplo com um enum grande não fica mais lento de forma quadrática, preservando o comportamento de narrowing relatado.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
Bug Report
Type-checking a match on a large enum becomes very slow when the variable was first narrowed by an == check with an early exit:
from enum import StrEnum
class E(StrEnum):
M0 = "m0"
M1 = "m1"
# ... 1,200 members
def f(x: E) -> None:
if x == E.M0:
return
match x:
case E.M1:
pass
# ... through case E.M7
Removing the x == E.M0 block makes this much faster (~1.5s vs 22s locally).
To Reproduce
Your Environment
- Mypy version used:
2.3.1,2.4.0+dev.4d195a2 - Python version used: 3.12
- Linguagem predominante
- Python
- Estrelas
- 20.6k
- Forks
- 3.3k
- Merge médio
- 1d 12h
- PRs com merge (30d)
- 58
Guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de python/mypy
-
bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 78/100
-
bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 76/100
-
documentation
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
-
bug topic-configuration topic-error-reporting
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 68/100
-
bug topic-attrs
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
Todas as issues de python/mypy
Issues semelhantes
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
anthropics/skills#1811 · 1 comentário ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
speaches-ai/speaches#678 ·
-
bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
datalayer/mcp-compose#42 ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
conda-forge/spacy-feedstock#177 ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 70/100
UKGovernmentBEIS/inspect_evals#2523 ·