False positive `overload-overlap` with booleans and integer literals
Abierto
Nadie ha tomado este issue todavía.
bug
topic-overloads
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
Bug Report, To Reproduce, & Actual Behaviour
The following 2 cases trigger overload-overlap, when neither of them should (see mypy Playground).
from typing import overload, Literal
@overload
def display_str_literal(val: Literal[False], /) -> Literal["BooleanFalse"]: ... # E: ... overload-overlap
@overload
def display_str_literal(val: Literal[0], /) -> Literal["Zero"]: ...
from typing import overload, Literal
@overload
def display_str_literal_2(val: bool, /) -> Literal["Boolean"]: ...
@overload
def display_str_literal_2(val: Literal[-1], /) -> Literal["NegativeOne"]: ...
- Mypy version used: 1.18.2
- Python version used: 3.12, 3.13
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Línea de trabajo
Comienza con las dos reproducciones en el mypy Playground enlazado y confirma los diagnósticos de solapamiento de sobrecargas en Python 3.12 o 3.13. Rastrea la ruta del comprobador de tipos que informa del solapamiento de sobrecargas para booleanos Literal y literales enteros; el trabajo estará terminado cuando ambos ejemplos pasen la comprobación de tipos sin un diagnóstico de falso positivo.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- devtools
- Tipo de issue
- Error
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 39/100