{"comment":{"url":"https://api.github.com/repos/python/mypy/comments/19085621","html_url":"https://github.com/python/mypy/commit/9dd1086e76c4d62011c2ff1479abae30565c6db2#commitcomment-19085621","id":19085621,"user":{"login":"JukkaL","id":1107911,"avatar_url":"https://avatars.githubusercontent.com/u/1107911?v=3","gravatar_id":"","url":"https://api.github.com/users/JukkaL","html_url":"https://github.com/JukkaL","followers_url":"https://api.github.com/users/JukkaL/followers","following_url":"https://api.github.com/users/JukkaL/following{/other_user}","gists_url":"https://api.github.com/users/JukkaL/gists{/gist_id}","starred_url":"https://api.github.com/users/JukkaL/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JukkaL/subscriptions","organizations_url":"https://api.github.com/users/JukkaL/orgs","repos_url":"https://api.github.com/users/JukkaL/repos","events_url":"https://api.github.com/users/JukkaL/events{/privacy}","received_events_url":"https://api.github.com/users/JukkaL/received_events","type":"User","site_admin":false},"position":16,"line":843,"path":"mypy/test/data/check-classes.test","commit_id":"9dd1086e76c4d62011c2ff1479abae30565c6db2","created_at":"2016-09-19T20:59:23Z","updated_at":"2016-09-19T20:59:23Z","body":"Some of these may be false positives. I think that the case which is unsafe is something like this:\r\n\r\n```\r\nclass A:\r\n    def __add__(self, x: int) -> int: pass\r\n\r\nclass B(A):\r\n    @overload  # E: Signature of \"__add__\" incompatible with supertype \"A\"\r\n    def __add__(self, x: int) -> int: pass\r\n    @overload\r\n    def __add__(self, x: 'C') -> str: pass\r\n\r\nclass C:\r\n    def __radd__(self, x: A) -> float: ...\r\n\r\ndef f(a: A) -> float:\r\n    return a + C()  # okay?\r\n\r\nf(B())  # ouch, returns str, not float\r\n```\r\n\r\n(Didn't verify if that actually misbehaves, but IIRC the unsoudness is something like that.)"}}
{"actor":{"display_login":"JukkaL"}}