Documentation: type[BaseClass] accepting subclasses

Documentation

class BaseClass: pass
class Child1(BaseClass): pass

list[type[BaseClass]] = [BaseClass, Child1]

• MyPy strict has not issues
• MyPyC compiled fine
• But running with MyPyc raises a TypeError: BaseClass expected; got Child1

A. Is there a documentation for this case? or is it an issue?

B. What is the solution for this? Can MyPyC read typing.cast to disable this strict mode?
like [BaseClass, typing.cast(BaseClass, Child1)] ?

C. I saw some TypeVar(bound='') solution but didn't work here.

D. Or do I need to just set as typing.Any to avoid issues?

• Python 3.14
• MyPy: 1.18.2

Thanks in advance

Beginnen Sie mit dem Python-Reproducer im Issue und vergleichen Sie sein Verhalten unter MyPy und MyPyC. Ermitteln Sie, ob die Ablehnung der Unterklasse erwartungsgemäß ist, ein Fehler vorliegt oder eine Dokumentationslücke besteht, und machen Sie die unterstützte Lösung klar, einschließlich der Frage, ob typing.cast oder Any geeignet ist.