Почему сужение типа Mypy IssubClass работает только на экземплярах "типа"? ⇐ Python

[Anonymous]

Sdippet кода: < /p>

Код: Выделить всё

from typing import Any

class MyClass:
pass

def f(o: Any) -> None:
if isinstance(o, type) and issubclass(o, MyClass):
reveal_type(o)  # Revealed type is "Type[MyClass]"

if issubclass(o, MyClass):
reveal_type(o)  # Revealed type is "Any"

это ошибка в Mypy или есть причина, по которой 2 -й пример не будет работать?


Подробнее здесь: https://stackoverflow.com/questions/797 ... -instances