`for` loop over a subclass ignores its overridden `__iter__` and uses the base class's type argument
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 48/100
- Tipo de issue
- Error
- Claridad
- Bastante claro
- Estado de actividad
- Activo
- Área
- backend-api-design, tooling
Línea de trabajo
The reproducer shows that iter(b) infers Iterator[int], while for loops and comprehensions infer object; start by running the Python example in the Pyrefly sandbox and tracing how iteration types are inferred for each construct. Find the relevant Rust implementation and regression tests for for loops and comprehensions. Done means both infer int for this subclass and existing iteration tests still pass.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Describe the Bug
from collections.abc import Iterable, Iterator
from typing import reveal_type
class B(Iterable[object]):
def __iter__(self) -> Iterator[int]:
yield 1
def f(b: B) -> None:
reveal_type(iter(b)) # Iterator[int]
for y in b:
reveal_type(y) # expected int, got object
y + 1 # false positive
reveal_type([y for y in b]) # expected list[int], got list[object]
Spotted in Requests
Sandbox Link
(Only applicable for extension issues) IDE Information
No response
- Lenguaje dominante
- Rust
- Estrellas
- 7.2k
- Forks
- 578
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
- 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 facebook/pyrefly
-
language-server
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
-
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
-
Dificultad 4/5 3-5 días Aptitud para principiantes 55/100
-
Attribute access after `if sys.platform != ...: return` is checked against the current platformAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 54/100
-
Dificultad 3/5 1-2 días Aptitud para principiantes 55/100
Todos los issues de facebook/pyrefly
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
aosama/astronomical#1973 ·
Los mantenedores suelen responder en 1 día
-
bug triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
Los mantenedores suelen responder en 6 días
-
complexity: high external-contributors test
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
Meet-hybrid/soroban-forge#584 ·
Los mantenedores suelen responder en 1 día
-
app bug pets
Dificultad 2/5 1-3 horas Aptitud para principiantes 66/100
Los mantenedores suelen responder en 1 día
-
chore(roles): record Elixir bare atom/keyword as StringLit excludes instead of coverage debtAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
dekobon/big-code-analysis#1859 ·
Los mantenedores suelen responder en 1 día