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

Issue の Python 再現コードから始め、MyPy と MyPyC での動作を比較してください。サブクラスの拒否が想定されたものなのか、バグなのか、ドキュメントの不足なのかを判断し、typing.cast または Any が適切かどうかも含めて、サポートされている解決策を明確にしてください。