isinstance(..., collections.abc.Callable) complains about "_SpecialForm"

[asottile]

input

from collections.abc import Callable

def f(): pass

print(isinstance(f, Callable))

output

$ mypy t.py
t.py:5: error: Argument 2 to "isinstance" has incompatible type "_SpecialForm"; expected "Union[type, Tuple[Union[type, Tuple[Any, ...]], ...]]"
$ mypy --version
mypy 0.701

fix (for me)

the fix for me is to just use callable(...), however in some cases this wasn't possible and so for now I'm # type: ignoreing

[ilevkivskyi]

however in some cases this wasn't possible

Why it was not possible? Generally I think we should try to limit "leaking" the internal things like _SpecialForm, but OTOH, I don't think this is high priority ATM.

[asottile]

there were a few cases where the abc types were used as a first-class object

Here's a contrived minimal example that's similar and also has the same failure mode:

from typing import Tuple, Type
from collections.abc import Callable
from collections.abc import Sized

classifier: Tuple[Tuple[str, Type], ...] = (
    ('callable', Callable),
    ('sized', Sized),
)

$ ./venv/bin/mypy t.py
t.py:5: error: Incompatible types in assignment (expression has type "Tuple[Tuple[str, _SpecialForm], Tuple[str, Type[Sized]]]", variable has type "Tuple[Tuple[str, Type[Any]], ...]")

[AlexWaygood]

I'm going to close this as a duplicate of #6680 (it's the same bug), and add a comment to that issue.

[asottile]

I think that's slightly different -- that one is about typing types (which aren't supposed to be used for isinstance afaik), and this is about collections.abc types (which are)

[AlexWaygood]

I think that's slightly different -- that one is about typing types (which aren't supposed to be used for isinstance afaik), and this is about collections.abc types (which are)

They look pretty similar to me at runtime:

Python 3.10.3 (tags/v3.10.3:a342a49, Mar 16 2022, 13:07:40) [MSC v.1929 64 bit (AMD64)] on win32
Type "help", "copyright", "credits" or "license" for more information.
>>> from collections.abc import Callable
>>> isinstance(lambda x: x, Callable[[object], object])
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: isinstance() argument 2 cannot be a parameterized generic
>>> isinstance(lambda x: x, Callable)
True
>>> from typing import Tuple
>>> isinstance((1, 2), Tuple[int, int])
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "C:\Users\alexw\AppData\Local\Programs\Python\Python310\lib\typing.py", line 994, in __instancecheck__
    return self.__subclasscheck__(type(obj))
  File "C:\Users\alexw\AppData\Local\Programs\Python\Python310\lib\typing.py", line 997, in __subclasscheck__
    raise TypeError("Subscripted generics cannot be used with"
TypeError: Subscripted generics cannot be used with class and instance checks
>>> isinstance((1, 2), Tuple)
True
>>>

And from mypy's perspective, they're identical, since typeshed just does from typing import Callable as Callable in the stub for collections.abc.

[asottile]

this issue predates PEP 585 and doesn't involve generics

[AlexWaygood]

this issue predates PEP 585 and doesn't involve generics

I'm aware of that. But if you read my example in full, I show that isinstance(x, typing.Tuple) succeeds at runtime just like isinstance(x, collections.abc.Callable). Yet mypy emits the same false-positive error for both of them.

For both typing.Tuple and collections.abc.Callable, it is only the subscripted version of the special form that fails when passed to isinstance() at runtime.

[asottile]

For both typing.Tuple and collections.abc.Callable, it is only the subscripted version of the special form that fails when passed to isinstance() at runtime.

yeah that's precisely my point -- this issue doesn't involve subscripted isinstance at all whereas the other issue is focused on that

but you're the triager I'm just a rando so feel free to ignore me 👍