Partly fails to identify `Self` and `type(self)`

Abierto
#15,229 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
3-5 días
Aptitud para principiantes
45/100
Tipo de issue
Error
Claridad
Bastante claro
Estado de actividad
Estancado
Stack tecnológico
python
Área
devtools

Línea de trabajo

Empieza con el caso de prueba completo vinculado de mypy-play y reproduce el comportamiento usando mypy 1.3.0 con Python 3.11. Después, rastrea el manejo del estrechamiento de tipos para isinstance(v, type(self)) y Self; se considera terminado cuando la rama else mostrada se rechaza correctamente como inalcanzable para un valor Self, mientras que las ramas válidas siguen aceptándose.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

bug

In such a method, mypy accepts the call to __set_from_self, so it does recognize that if v has type type(self) then it has type Self. However, it does not understand that the else branch cannot get a Self, as if some objects of type Self would have failed the isinstance(v, type(self)):

    def set(self, v: Union[int, str, Self]) -> None:
        if isinstance(v, type(self)):
            self.__set_from_self(v)
        elif isinstance(v, str):
            self.__set_from_int(int(v))
        else:
            self.__set_from_int(v)

It is unfortunate that those two expressions to describe the type of self are different in different contexts, but I believe they are supposed to be otherwise strictly equivalent.

Full test case: https://mypy-play.net/?mypy=latest&python=3.11&gist=27112299a10603d7093c01173808a566
Mypy version used: 1.3.0

Lenguaje dominante
Python
Estrellas
20.6k
Forks
3.3k
Merge medio
1 d 18 h
PR fusionados (30 d)
54

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de python/mypy

Todos los issues de python/mypy

Issues similares

Más issues de Python

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.