{"action":"created","issue":{"url":"https://api.github.com/repos/python/mypy/issues/2956","repository_url":"https://api.github.com/repos/python/mypy","labels_url":"https://api.github.com/repos/python/mypy/issues/2956/labels{/name}","comments_url":"https://api.github.com/repos/python/mypy/issues/2956/comments","events_url":"https://api.github.com/repos/python/mypy/issues/2956/events","html_url":"https://github.com/python/mypy/issues/2956","id":211914984,"number":2956,"title":"Issue with `type: ignore` being escaped","user":{"login":"timabbott","id":2746074,"avatar_url":"https://avatars3.githubusercontent.com/u/2746074?v=3","gravatar_id":"","url":"https://api.github.com/users/timabbott","html_url":"https://github.com/timabbott","followers_url":"https://api.github.com/users/timabbott/followers","following_url":"https://api.github.com/users/timabbott/following{/other_user}","gists_url":"https://api.github.com/users/timabbott/gists{/gist_id}","starred_url":"https://api.github.com/users/timabbott/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/timabbott/subscriptions","organizations_url":"https://api.github.com/users/timabbott/orgs","repos_url":"https://api.github.com/users/timabbott/repos","events_url":"https://api.github.com/users/timabbott/events{/privacy}","received_events_url":"https://api.github.com/users/timabbott/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2017-03-04T23:00:28Z","updated_at":"2017-03-05T05:12:13Z","closed_at":null,"body":"I found this new error that seems to have escaped a `type: ignore` when trying out the mypy 0.501:\r\n\r\n`zerver/storage.py:47: error: \"super\" has no attribute \"post_process\"`\r\n\r\nThe code in question is https://github.com/zulip/zulip/blob/master/zerver/storage.py, the relevant block is the `super_ret` line below:\r\n\r\n```\r\n        super_class = super(AddHeaderMixin, self) # type: ignore # https://github.com/JukkaL/mypy/issues/857      \r\n        if hasattr(super_class, 'post_process'):                                                                  \r\n            super_ret = super_class.post_process(paths, dry_run, **kwargs)                                        \r\n        else:                                                                                                     \r\n            super_ret = []                                                                                        \r\n```\r\n\r\nI'll just add another `type: ignore` on the `super_ret` line for now, but I think it's a bug that mypy didn't suppress that."},"comment":{"url":"https://api.github.com/repos/python/mypy/issues/comments/284206241","html_url":"https://github.com/python/mypy/issues/2956#issuecomment-284206241","issue_url":"https://api.github.com/repos/python/mypy/issues/2956","id":284206241,"user":{"login":"gvanrossum","id":2894642,"avatar_url":"https://avatars0.githubusercontent.com/u/2894642?v=3","gravatar_id":"","url":"https://api.github.com/users/gvanrossum","html_url":"https://github.com/gvanrossum","followers_url":"https://api.github.com/users/gvanrossum/followers","following_url":"https://api.github.com/users/gvanrossum/following{/other_user}","gists_url":"https://api.github.com/users/gvanrossum/gists{/gist_id}","starred_url":"https://api.github.com/users/gvanrossum/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gvanrossum/subscriptions","organizations_url":"https://api.github.com/users/gvanrossum/orgs","repos_url":"https://api.github.com/users/gvanrossum/repos","events_url":"https://api.github.com/users/gvanrossum/events{/privacy}","received_events_url":"https://api.github.com/users/gvanrossum/received_events","type":"User","site_admin":false},"created_at":"2017-03-05T05:12:13Z","updated_at":"2017-03-05T05:12:13Z","body":"One problem is that the type of `super()` is problematic (at least when there's multiple inheritance, which is what it was invented for in the first place): in `class C(A, B): ...` the type of `super()` is not representable by an existing class. I guess we could special-case this further and synthesize a class that also derives from `A` and `B` but does not have `C`'s attributes."}}
{"actor":{"display_login":"gvanrossum"}}