"Invalid base class" raised when Base Class is a class field

Ouverte
#3,587 8 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
4/5
Temps estimé
3-5 jours
Accessibilité débutants
45/100
Type d'issue
Bug
Clarté
Plutôt claire
Activité
À l'abandon
Stack technique
python
Domaine
devtools

Piste de recherche

Start by running the provided reproducer with mypy and compare how the module-level Base and Types.Base are resolved when used as class bases. Trace the type-checking path for class fields and base-class validation. Done means the reproducer accepts Fails(Types.Base) without the invalid-type or invalid-base-class errors while preserving the existing reveal types.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

needs discussion topic-inheritance

Repro:

class Foo:
    pass

Base = Foo

class Types:
    Base = Foo

reveal_type(Base)
reveal_type(Types.Base)

class Works(Base):
    pass

class Fails(Types.Base):
    pass

Results in:

test_cast.py:9: error: Revealed type is 'def () -> test_cast.Foo'
test_cast.py:10: error: Revealed type is 'def () -> test_cast.Foo'
test_cast.py:15: error: Invalid type "Base"
test_cast.py:15: error: Invalid base class

What's odd is that mypy recognizes Base and Types.Base as having identical types yet accepts Base as a base class but not Types.Base

Langage dominant
Python
Étoiles
20.6k
Forks
3.3k
Merge moyen
1 j 18 h
PR mergées (30 j)
54

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de python/mypy

Toutes les issues de python/mypy

Issues similaires

Plus d'issues Python

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.