Attribute access with untyped methods and --check-untyped-defs #5401
Description
Using mypy 0.620 and Python 3.7.0 I see strange behavior with descriptors in untyped methods. For example:
from typing import Any
class Getter:
def __get__(self, obj: Any, _: Any = None) -> int:
return 4
class Foo:
x = Getter()
def foo(self):
reveal_type(self.x)
def bar(self) -> None:
reveal_type(self.x)Running with mypy --check-untyped-defs I get the following output:
foo.py:11: error: Revealed type is 'Any'
foo.py:14: error: Revealed type is 'builtins.int'
Is this intended?