| route-pattern | /_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format) |
| route-controller | voltron_pull_requests_fragments |
| route-action | pull_request_layout |
| fetch-nonce | v2:daa85907-c044-6eaa-c973-932828a8e138 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | 892E:2AC946:6B44D:92908:6969A2DE |
| html-safe-nonce | 703d442540edbdbf0f9c6a0590ae9e58dcb2bed23611710e4df2eb2d1b74139c |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4OTJFOjJBQzk0Njo2QjQ0RDo5MjkwODo2OTY5QTJERSIsInZpc2l0b3JfaWQiOiI1NDM2NTUzMDQzNjUxNDM3Mjc4IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0= |
| visitor-hmac | bb661bb91cfd53a19ba49c06ccf88bf970f36fce2fe5ed9f8fa5ff0ea7c3e29a |
| hovercard-subject-tag | pull_request:875316083 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | ///voltron/pull_requests_fragments/pull_request_layout |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/python/mypy/12321/pull_request_layout |
| twitter:image | https://opengraph.githubassets.com/cad067dcfc32e9f6ee3729f62091571c1e7fd919d0c060bb849ae440fc41ee9c/python/mypy/pull/12321 |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/cad067dcfc32e9f6ee3729f62091571c1e7fd919d0c060bb849ae440fc41ee9c/python/mypy/pull/12321 |
| og:image:alt | Source commit:
python/typeshed@4e87b90 |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| og:author:username | JukkaL |
| hostname | github.com |
| expected-hostname | github.com |
| None | 24c4c97a2d520cb286b35e1a4c22d7a4df3c26a2fa28dd7cdf0e65db327b4de7 |
| turbo-cache-control | no-preview |
| go-import | github.com/python/mypy git https://github.com/python/mypy.git |
| octolytics-dimension-user_id | 1525981 |
| octolytics-dimension-user_login | python |
| octolytics-dimension-repository_id | 7053637 |
| octolytics-dimension-repository_nwo | python/mypy |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 7053637 |
| octolytics-dimension-repository_network_root_nwo | python/mypy |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 124667f43168afb6c9c03b7c02eb5b1d2e1be3d9 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://github.com/python/mypy/pull/12321#start-of-content |
|
| https://github.com/ |
|
Sign in
| https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F12321 |
| GitHub CopilotWrite better code with AI | https://github.com/features/copilot |
| GitHub SparkBuild and deploy intelligent apps | https://github.com/features/spark |
| GitHub ModelsManage and compare prompts | https://github.com/features/models |
| MCP RegistryNewIntegrate external tools | https://github.com/mcp |
| ActionsAutomate any workflow | https://github.com/features/actions |
| CodespacesInstant dev environments | https://github.com/features/codespaces |
| IssuesPlan and track work | https://github.com/features/issues |
| Code ReviewManage code changes | https://github.com/features/code-review |
| GitHub Advanced SecurityFind and fix vulnerabilities | https://github.com/security/advanced-security |
| Code securitySecure your code as you build | https://github.com/security/advanced-security/code-security |
| Secret protectionStop leaks before they start | https://github.com/security/advanced-security/secret-protection |
| Why GitHub | https://github.com/why-github |
| Documentation | https://docs.github.com |
| Blog | https://github.blog |
| Changelog | https://github.blog/changelog |
| Marketplace | https://github.com/marketplace |
| View all features | https://github.com/features |
| Enterprises | https://github.com/enterprise |
| Small and medium teams | https://github.com/team |
| Startups | https://github.com/enterprise/startups |
| Nonprofits | https://github.com/solutions/industry/nonprofits |
| App Modernization | https://github.com/solutions/use-case/app-modernization |
| DevSecOps | https://github.com/solutions/use-case/devsecops |
| DevOps | https://github.com/solutions/use-case/devops |
| CI/CD | https://github.com/solutions/use-case/ci-cd |
| View all use cases | https://github.com/solutions/use-case |
| Healthcare | https://github.com/solutions/industry/healthcare |
| Financial services | https://github.com/solutions/industry/financial-services |
| Manufacturing | https://github.com/solutions/industry/manufacturing |
| Government | https://github.com/solutions/industry/government |
| View all industries | https://github.com/solutions/industry |
| View all solutions | https://github.com/solutions |
| AI | https://github.com/resources/articles?topic=ai |
| Software Development | https://github.com/resources/articles?topic=software-development |
| DevOps | https://github.com/resources/articles?topic=devops |
| Security | https://github.com/resources/articles?topic=security |
| View all topics | https://github.com/resources/articles |
| Customer stories | https://github.com/customer-stories |
| Events & webinars | https://github.com/resources/events |
| Ebooks & reports | https://github.com/resources/whitepapers |
| Business insights | https://github.com/solutions/executive-insights |
| GitHub Skills | https://skills.github.com |
| Documentation | https://docs.github.com |
| Customer support | https://support.github.com |
| Community forum | https://github.com/orgs/community/discussions |
| Trust center | https://github.com/trust-center |
| Partners | https://github.com/partners |
| GitHub SponsorsFund open source developers | https://github.com/sponsors |
| Security Lab | https://securitylab.github.com |
| Maintainer Community | https://maintainers.github.com |
| Accelerator | https://github.com/accelerator |
| Archive Program | https://archiveprogram.github.com |
| Topics | https://github.com/topics |
| Trending | https://github.com/trending |
| Collections | https://github.com/collections |
| Enterprise platformAI-powered developer platform | https://github.com/enterprise |
| GitHub Advanced SecurityEnterprise-grade security features | https://github.com/security/advanced-security |
| Copilot for BusinessEnterprise-grade AI features | https://github.com/features/copilot/copilot-business |
| Premium SupportEnterprise-grade 24/7 support | https://github.com/premium-support |
| Pricing | https://github.com/pricing |
| Search syntax tips | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
| documentation | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
|
Sign in
| https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F12321 |
|
Sign up
| https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=python%2Fmypy |
| Reload | https://github.com/python/mypy/pull/12321 |
| Reload | https://github.com/python/mypy/pull/12321 |
| Reload | https://github.com/python/mypy/pull/12321 |
|
python
| https://github.com/python |
| mypy | https://github.com/python/mypy |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
|
Notifications
| https://github.com/login?return_to=%2Fpython%2Fmypy |
|
Fork
3.1k
| https://github.com/login?return_to=%2Fpython%2Fmypy |
|
Star
20.1k
| https://github.com/login?return_to=%2Fpython%2Fmypy |
|
Code
| https://github.com/python/mypy |
|
Issues
2.7k
| https://github.com/python/mypy/issues |
|
Pull requests
425
| https://github.com/python/mypy/pulls |
|
Actions
| https://github.com/python/mypy/actions |
|
Projects
0
| https://github.com/python/mypy/projects |
|
Wiki
| https://github.com/python/mypy/wiki |
|
Security
Uh oh!
There was an error while loading. Please reload this page.
| https://github.com/python/mypy/security |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
|
Insights
| https://github.com/python/mypy/pulse |
|
Code
| https://github.com/python/mypy |
|
Issues
| https://github.com/python/mypy/issues |
|
Pull requests
| https://github.com/python/mypy/pulls |
|
Actions
| https://github.com/python/mypy/actions |
|
Projects
| https://github.com/python/mypy/projects |
|
Wiki
| https://github.com/python/mypy/wiki |
|
Security
| https://github.com/python/mypy/security |
|
Insights
| https://github.com/python/mypy/pulse |
| Sign up for GitHub
| https://github.com/signup?return_to=%2Fpython%2Fmypy%2Fissues%2Fnew%2Fchoose |
| terms of service | https://docs.github.com/terms |
| privacy statement | https://docs.github.com/privacy |
| Sign in | https://github.com/login?return_to=%2Fpython%2Fmypy%2Fissues%2Fnew%2Fchoose |
| Jump to bottom | https://github.com/python/mypy/pull/12321#issue-comment-box |
| JukkaL | https://github.com/JukkaL |
| master | https://github.com/python/mypy/tree/master |
| sync-typeshed | https://github.com/python/mypy/tree/sync-typeshed |
|
Sync typeshed
| https://github.com/python/mypy/pull/12321#top |
| JukkaL | https://github.com/JukkaL |
| master | https://github.com/python/mypy/tree/master |
| sync-typeshed | https://github.com/python/mypy/tree/sync-typeshed |
|
Conversation
10
| https://github.com/python/mypy/pull/12321 |
|
Commits
7
| https://github.com/python/mypy/pull/12321/commits |
|
Checks
0
| https://github.com/python/mypy/pull/12321/checks |
|
Files changed
| https://github.com/python/mypy/pull/12321/files |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
| https://github.co/hiddenchars |
| https://github.com/python/mypy/pull/{{ revealButtonHref }} |
|
| https://github.com/JukkaL |
| JukkaL | https://github.com/JukkaL |
| Mar 9, 2022 | https://github.com/python/mypy/pull/12321#issue-1163950306 |
| python/typeshed@4e87b90 | https://github.com/python/typeshed/commit/4e87b9058f0908fa895076c0d9643e18be785be6 |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
|
| https://github.com/JukkaL |
| Sync typeshed | https://github.com/python/mypy/pull/12321/commits/3c6615caaf621acf9882329f7a57135df4bed52c |
| 3c6615c | https://github.com/python/mypy/pull/12321/commits/3c6615caaf621acf9882329f7a57135df4bed52c |
| python/typeshed@4e87b90 | https://github.com/python/typeshed/commit/4e87b9058f0908fa895076c0d9643e18be785be6 |
| https://github.com/apps/github-actions |
| Sign in to view | https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F12321 |
| https://github.com/JukkaL |
| JukkaL | https://github.com/JukkaL |
| Mar 9, 2022 | https://github.com/python/mypy/pull/12321#issuecomment-1063155644 |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
| https://github.com/AlexWaygood |
| AlexWaygood | https://github.com/AlexWaygood |
| Mar 9, 2022 | https://github.com/python/mypy/pull/12321#issuecomment-1063286816 |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
| Make several fields read-only for type, staticmethod and classmethod typeshed#7423 | https://github.com/python/typeshed/pull/7423 |
| collections.ChainMap has wrong type hint for self.maps, rendering it "immutable" typeshed#6042 | https://github.com/python/typeshed/issues/6042 |
| change chained maps to MutableMapping; fix #6042 typeshed#6044 | https://github.com/python/typeshed/pull/6044 |
| Add missing type hint for AbstractSet._hash() typeshed#7153 | https://github.com/python/typeshed/pull/7153 |
| Improve traceback.FrameSummary typeshed#7210 | https://github.com/python/typeshed/pull/7210 |
| Use Literal for statistics.quantiles() typeshed#7463 | https://github.com/python/typeshed/pull/7463 |
| asyncio.unix_events: Make AbstractChildWatcher abstract, add PidfdChildWatcher typeshed#7412 | https://github.com/python/typeshed/pull/7412 |
| Add several missing stdlib functions typeshed#7397 | https://github.com/python/typeshed/pull/7397 |
| collections: Add missing reflected BinOp methods typeshed#7207 | https://github.com/python/typeshed/pull/7207 |
| Add __all__ for asyncio.unix_events & asyncio.taskgroups, and simplify asyncio.__init__ typeshed#7343 | https://github.com/python/typeshed/pull/7343 |
| DefaultEventLoopPolicy is not valid as a type / base class typeshed#7452 | https://github.com/python/typeshed/issues/7452 |
| Fix loop.remove_reader() and loop.remove_writer() signatures typeshed#7042 | https://github.com/python/typeshed/pull/7042 |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
| https://github.com/hauntsaninja |
| hauntsaninja | https://github.com/hauntsaninja |
| Mar 9, 2022 | https://github.com/python/mypy/pull/12321#issuecomment-1063365032 |
| #12323 | https://github.com/python/mypy/pull/12323 |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
|
| https://github.com/JukkaL |
| Merge branch 'master' into sync-typeshed | https://github.com/python/mypy/pull/12321/commits/51d210956969425c878b9e8c3cf41f5c7efaaff1 |
| 51d2109 | https://github.com/python/mypy/pull/12321/commits/51d210956969425c878b9e8c3cf41f5c7efaaff1 |
| https://github.com/apps/github-actions |
| Sign in to view | https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F12321 |
| https://github.com/graingert |
| graingert | https://github.com/graingert |
| Mar 11, 2022 | https://github.com/python/mypy/pull/12321#issuecomment-1065239417 |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
| https://github.com/graingert |
| graingert | https://github.com/graingert |
| Mar 14, 2022 | https://github.com/python/mypy/pull/12321#issuecomment-1067221734 |
| python/typeshed#7491 | https://github.com/python/typeshed/pull/7491 |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
| https://github.com/AlexWaygood |
| AlexWaygood | https://github.com/AlexWaygood |
|
Mar 17, 2022
| https://github.com/python/mypy/pull/12321#ref-pullrequest-1168636133 |
|
Improve various signatures that shouldn't be async def, but currently are
python/typeshed#7491
| https://github.com/python/typeshed/pull/7491 |
| https://github.com/AlexWaygood |
| AlexWaygood | https://github.com/AlexWaygood |
| Mar 19, 2022 | https://github.com/python/mypy/pull/12321#issuecomment-1072968279 |
| python/typeshed#7491 | https://github.com/python/typeshed/pull/7491 |
| @graingert | https://github.com/graingert |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
| https://github.com/hauntsaninja |
| hauntsaninja | https://github.com/hauntsaninja |
|
Mar 24, 2022
| https://github.com/python/mypy/pull/12321#ref-issue-1179300289 |
|
Missing definitions for typing_extensions
#12438
| https://github.com/python/mypy/issues/12438 |
| https://github.com/bersbersbers |
| bersbersbers | https://github.com/bersbersbers |
|
Mar 25, 2022
| https://github.com/python/mypy/pull/12321#ref-issue-1113593164 |
|
Stubs for filecmp are missing Pathlike for common argument
python/typeshed#7034
| https://github.com/python/typeshed/issues/7034 |
| https://github.com/jamescooke |
| jamescooke | https://github.com/jamescooke |
|
Mar 29, 2022
| https://github.com/python/mypy/pull/12321#ref-issue-1087306638 |
|
call-overload error on environ.pop("…", default="…")
#11831
| https://github.com/python/mypy/issues/11831 |
| https://github.com/AlexWaygood |
| AlexWaygood | https://github.com/AlexWaygood |
|
Mar 29, 2022
| https://github.com/python/mypy/pull/12321#ref-issue-445080463 |
|
filtering with isinstance doesn't narrow down types
#6847
| https://github.com/python/mypy/issues/6847 |
| JukkaL | https://github.com/JukkaL |
| April 6, 2022 11:56 | https://github.com/python/mypy/pull/12321#commits-pushed-537a9d3 |
|
| https://github.com/JukkaL |
| Merge branch 'master' into sync-typeshed | https://github.com/python/mypy/pull/12321/commits/537a9d32002c78cc87a8a8c42f07435f60e54eae |
| 537a9d3 | https://github.com/python/mypy/pull/12321/commits/537a9d32002c78cc87a8a8c42f07435f60e54eae |
|
| https://github.com/JukkaL |
| Sync typeshed | https://github.com/python/mypy/pull/12321/commits/262b6704918bf6aec5b4f873f69feaed0cef6d67 |
| 262b670 | https://github.com/python/mypy/pull/12321/commits/262b6704918bf6aec5b4f873f69feaed0cef6d67 |
| python/typeshed@3c85f36 | https://github.com/python/typeshed/commit/3c85f36b7f9afd599409d10a214aafdecf38251e |
|
| https://github.com/JukkaL |
| Fix tests | https://github.com/python/mypy/pull/12321/commits/b1f65848245df0925022f5f9916477e6fc2f18a8 |
| b1f6584 | https://github.com/python/mypy/pull/12321/commits/b1f65848245df0925022f5f9916477e6fc2f18a8 |
|
| https://github.com/JukkaL |
| Update test case | https://github.com/python/mypy/pull/12321/commits/4545b9b8ee1fa30c0896b1fb096f76dc3e2cbac0 |
| 4545b9b | https://github.com/python/mypy/pull/12321/commits/4545b9b8ee1fa30c0896b1fb096f76dc3e2cbac0 |
|
| https://github.com/JukkaL |
| Merge branch 'master' into sync-typeshed | https://github.com/python/mypy/pull/12321/commits/498db631e9faab2f9159b6b2b8fe0c151aa998f2 |
| 498db63 | https://github.com/python/mypy/pull/12321/commits/498db631e9faab2f9159b6b2b8fe0c151aa998f2 |
| https://github.com/apps/github-actions |
| github-actions | https://github.com/apps/github-actions |
| Apr 7, 2022 | https://github.com/python/mypy/pull/12321#issuecomment-1091575028 |
| mypy_primer | https://github.com/hauntsaninja/mypy_primer |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
| https://github.com/JukkaL |
| JukkaL | https://github.com/JukkaL |
| Apr 8, 2022 | https://github.com/python/mypy/pull/12321#issuecomment-1092865080 |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
| https://github.com/JukkaL |
| JukkaL | https://github.com/JukkaL |
| 756277c | https://github.com/python/mypy/commit/756277c8bbab01dab0833c7f18d3f2765211352b |
| Apr 8, 2022 | https://github.com/python/mypy/pull/12321#event-6396513087 |
| https://github.com/JukkaL |
| JukkaL | https://github.com/JukkaL |
| April 8, 2022 13:33 | https://github.com/python/mypy/pull/12321#event-6396513182 |
| JukkaL | https://github.com/JukkaL |
|
Apr 12, 2022
| https://github.com/python/mypy/pull/12321#ref-commit-e7c3481 |
|
| https://github.com/JukkaL |
| Drop some literal types from argparse (add_argument) | https://github.com/JukkaL/typeshed/commit/e7c3481b071d0b11ba863ecdacf3b814c5b6bca2 |
| e7c3481 | https://github.com/JukkaL/typeshed/commit/e7c3481b071d0b11ba863ecdacf3b814c5b6bca2 |
| python#7329 | https://github.com/python/typeshed/pull/7329 |
| https://github.com/pycqa/pylint | https://github.com/pycqa/pylint |
| python/mypy#12321 | https://github.com/python/mypy/pull/12321 |
| https://github.com/JukkaL |
| JukkaL | https://github.com/JukkaL |
|
Apr 12, 2022
| https://github.com/python/mypy/pull/12321#ref-pullrequest-1201699510 |
|
Drop some literal types from argparse (add_argument)
python/typeshed#7614
| https://github.com/python/typeshed/pull/7614 |
| https://github.com/hauntsaninja |
| hauntsaninja | https://github.com/hauntsaninja |
|
Apr 18, 2022
| https://github.com/python/mypy/pull/12321#ref-issue-1206397297 |
|
add test case: regression w/ mypy mis-interpreting generator comprehension
#12610
| https://github.com/python/mypy/issues/12610 |
| Sign up for free | https://github.com/join?source=comment-repo |
| Sign in to comment | https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F12321 |
| Please reload this page | https://github.com/python/mypy/pull/12321 |
|
| https://github.com/JukkaL |
|
| https://github.com/AlexWaygood |
|
| https://github.com/hauntsaninja |
|
| https://github.com/graingert |
|
| https://github.com/apps/copilot-swe-agent |
|
| https://github.com |
| Terms | https://docs.github.com/site-policy/github-terms/github-terms-of-service |
| Privacy | https://docs.github.com/site-policy/privacy-policies/github-privacy-statement |
| Security | https://github.com/security |
| Status | https://www.githubstatus.com/ |
| Community | https://github.community/ |
| Docs | https://docs.github.com/ |
| Contact | https://support.github.com?tags=dotcom-footer |