Exhaustiveness of type tuple[bool, bool]
Mantenedores costumam responder em até 1 dia
Avaliação
- Dificuldade
- 3/5
- Tempo estimado
- 1-2 dias
- Facilidade para iniciantes
- 68/100
Direção de pesquisa
Execute a reprodução fornecida com Python 3.14.7 e --enable-error-code exhaustive-match e, em seguida, rastreie como a análise exhaustive-match trata tuple[bool, bool] em instruções match. A tarefa estará concluída quando os quatro casos booleanos forem reconhecidos como exaustivos sem que um erro missing-return ou unhandled-case seja relatado, enquanto matches genuinamente incompletos continuarem relatando erros.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
Bug Report
It looks like the exhaustiveness of tuples of bools is not checked in match statements.
To Reproduce
def measure(a: bool, b: bool) -> float:
match a, b:
case True, True:
return 1
case True, False:
return 0.9
case False, True:
return 0.5
case False, False:
return 0
Expected Behavior
Should pass, looks exhaustive to me (or I should go take a nap).
Actual Behavior
$ mypy --enable-error-code exhaustive-match repro.py
repro.py:1: error: Missing return statement [return]
repro.py:2: error: Match statement has unhandled case for values of type "tuple[bool, bool]" [exhaustive-match]
repro.py:2: note: If match statement is intended to be non-exhaustive, add `case _: pass`
Found 2 errors in 1 file (checked 1 source file)
Your Environment
- Mypy version used: mypy 2.3.1 (compiled: yes)
- Mypy command-line flags:
--enable-error-code exhaustive-match - Mypy configuration options from
mypy.ini(and other config files): ø - Python version used: 3.14.7
- Linguagem predominante
- Python
- Estrelas
- 20.7k
- Forks
- 3.3k
- Merge médio
- 1d 15h
- PRs com merge (30d)
- 96
Preparar o ambiente
- Sem Dockerfile nem arquivo Docker Compose
- Tem um modelo de pull request
- Ler o 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
Mantenedores costumam responder em até 1 dia
-
`stubgen --inspect-mode` crashes with `AttributeError on PEP 604 union syntax (X | Y)` *(mypy 2.1.0)*Talvez já em andamento @ayushdoesdev assumiu há 66 dias. Abertabug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 76/100
Mantenedores costumam responder em até 1 dia
-
Inconsistent description of `strict_optional`Talvez já em andamento @Joosboy assumiu há 82 dias. Abertadocumentation
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
python/mypy#21658 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
-
Cannot set `output` in `mypy.ini`Talvez livre de novo Um pull request para esta issue foi fechado sem ser mesclado. Abertabug topic-configuration topic-error-reporting
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 68/100
python/mypy#21376 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
-
bug topic-attrs
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
python/mypy#20818 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
Todas as issues de python/mypy
Issues semelhantes
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
Mantenedores costumam responder em até 1 dia
-
enhancement good first issue Stellar Wave trivial
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
StellarCanary/ProtocolCanary-Fixtures#258 ·
Mantenedores costumam responder em até 1 dia
-
enhancement
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 70/100
IBM/ai-atlas-nexus#295 ·
Mantenedores costumam responder em até 6 dias
-
github_actions
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 65/100
Hochfrequenz/aibap.mcp#578 ·
Mantenedores costumam responder em até 1 dia
-
bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
mishraprafful/multihull#150 ·
Mantenedores costumam responder em até 1 dia