Allow re-defined variables to span different scopes with `allow-redefinition`
Abierto
Nadie ha tomado este issue todavía.
feature
topic-usability
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
foo: int
foo = str(foo) # no error
try:
bar: int
bar = str(bar) # error: Incompatible types in assignment (expression has type "str", variable has type "int") [assignment]
except Exception as e:
reveal_type(bar) # should be `int | str`
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 reproduciendo el problema con el ejemplo vinculado de mypy-play y la opción allow-redefinition. Rastrea cómo se gestionan las redefiniciones a través del ámbito de try y, después, añade o actualiza la cobertura para que la asignación se acepte y reveal_type(bar) informe de int | str.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- compilers, devtools
- Tipo de issue
- Nueva funcionalidad
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 35/100