Repository navigation
Recognize callable in conditional type binding #1973
Description
If I run mypy against the following code:
from typing import Callable, Union
SomeFieldType = Union[str, Callable[[str], int]]
class SomeClass(object):
def __init__(self, some_field: SomeFieldType) -> None:
self.some_field = some_field
def do_something(self) -> None:
if callable(self.some_field):
self.some_field('foobar')it complains about self.some_field not being callable:
test_mypy.py: note: In member "do_something" of class "SomeClass":
test_mypy.py:11: error: "str" not callable
Perhaps mypy could be made aware of the "callable(...)" statements? Thanks!
Activity
gvanrossum commentedon Aug 1, 2016
I see. Normally unions can be disambiguated using isinstance(), but that doesn't really work for Callable.
dmoisset commentedon Aug 1, 2016
If this is desirable, probably adding some more code to the
find_isinstance_checkanalysis might resolve this[-]Make mypy callable aware[/-][+]Recognize `callable` in conditional type binding[/+]Conditional type-check based on callable call (#2627)