`isinstance(_, Callable)` reports `[arg-type]`

Bug Report

isinstance(_, collections.abc.Callable) is allowed at runtime, but is reported

(A clear and concise description of what the bug is.)

To Reproduce

from collections.abc import Callable
assert isinstance(int, Callable)

Expected Behavior

for isinstance(_, collections.abc.Callable) to behave identically to callable(_):

• no error
• _: T is narrowed to _: <callable subtype of T>

Actual Behavior

main.py:2: error: Argument 2 to "isinstance" has incompatible type "<typing special form>"; expected "_ClassInfo"  [arg-type]

https://mypy-play.net/?mypy=latest&python=3.13&gist=463e1edfbfc8cefc268fce8544b0b49b

Comienza con el reproductor main.py y el ejemplo enlazado de mypy-play, usando Python 3.13 y la versión más reciente de mypy. Rastrea cómo isinstance() gestiona collections.abc.Callable y compáralo con la reducción de tipo de callable(). Se considera terminado cuando el ejemplo no produce ningún error arg-type y reduce el valor a un subtipo invocable.