Accessing undeclared field does not raise a type error
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 35/100
Línea de trabajo
Comienza con el reproductor lookup_self_field_neg.py y sigue la ruta de comprobación estática de tipos de Python para c.x cuando C no declara ningún campo. Confirma el comportamiento actual; después, haz que el comprobador informe de que C no tiene el atributo x y verifica que el reproductor produzca un error en tiempo de compilación.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
6862bbd
2021-10-13
What program did you run?
# lookup_self_field_neg.py
# This should fail.
class C:
pass
def f(c: C):
# reveal_type(c.x) # dynamic
return c.x
What happened?
The program passes type checks.
What should have happened?
We expected a compile-time error complaining that "C has no attribute x". (This is what mypy does.)
Is this another case where Static Python falls back to dynamic (similar to #50)?
- Lenguaje dominante
- Python
- Estrellas
- 3.8k
- Forks
- 139
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Inicia el contenedor de desarrollo del proyecto en tu navegador, con tu propia cuenta de GitHub.
- Sin Dockerfile ni archivo de Docker Compose
- Tiene una plantilla de pull request
- Leer la 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.
Más de facebookincubator/MetaPython
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
facebookincubator/MetaPython#147 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
facebookincubator/MetaPython#146 · 2 comentarios ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
facebookincubator/MetaPython#145 · 4 comentarios ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 30/100
facebookincubator/MetaPython#144 · 1 comentario ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 20/100
facebookincubator/MetaPython#129 · 2 comentarios ·
Todos los issues de facebookincubator/MetaPython
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
LearningCircuit/local-deep-research#7206 ·
Los mantenedores suelen responder en 1 día
-
[TASK] Document technology stackAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
chingu-voyages/V62-tier3-team-33#285 ·
Los mantenedores suelen responder en 1 día
-
Proxy drops log notifications from backends that don't send FastMCP's msg/extra dictPosiblemente ocupada @asasemahmed la tomó hoy. Abiertobug server
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
Los mantenedores suelen responder en 1 día
-
[Bug]: Bedrock request metadata forwarding does not work for /embeddingsPosiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. Abiertobug llm translation
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Los mantenedores suelen responder en 1 día