| 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:d0cd7705-6482-46a4-5b40-65d762cb3e56 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | DE64:2A7919:11B5892:181EE77:696E9A94 |
| html-safe-nonce | 5ac6008e1b9124a2df85558cf91fabe4cb7f9303f9e9bb2f86f4c8515273fd7f |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJERTY0OjJBNzkxOToxMUI1ODkyOjE4MUVFNzc6Njk2RTlBOTQiLCJ2aXNpdG9yX2lkIjoiMzY4MTkxOTAxNjE1MDkzMjExNiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9 |
| visitor-hmac | 8872936e1736b316d48b750ae40332280f97b616519ec82e02d53c7270dad725 |
| hovercard-subject-tag | pull_request:3170373118 |
| 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/20577/pull_request_layout |
| twitter:image | https://opengraph.githubassets.com/9d9fc7240ae33dbb95fe705bb2b0594d4e0f6f6bbdca83d966a05f61b21683ea/python/mypy/pull/20577 |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/9d9fc7240ae33dbb95fe705bb2b0594d4e0f6f6bbdca83d966a05f61b21683ea/python/mypy/pull/20577 |
| og:image:alt | Fixes #11001
Related to typing python/typing#256
Expected behavior changes under this flag:
str and its subtypes are no longer treated as subtypes of Collection, Iterable, Sequence or protocols th... |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| og:author:username | michaelm-openai |
| hostname | github.com |
| expected-hostname | github.com |
| None | fdad15fd2ad43212aa8b8be5f2c2725550f8374ceeeb154a999ad9145b43f3f7 |
| 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 | 27b23bc056eb973d350fc95afc848757edb9e7a9 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://patch-diff.githubusercontent.com/python/mypy/pull/20577#start-of-content |
|
| https://patch-diff.githubusercontent.com/ |
|
Sign in
| https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20577 |
| 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://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20577 |
|
Sign up
| https://patch-diff.githubusercontent.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://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| Reload | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| Reload | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
|
python
| https://patch-diff.githubusercontent.com/python |
| mypy | https://patch-diff.githubusercontent.com/python/mypy |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
|
Notifications
| https://patch-diff.githubusercontent.com/login?return_to=%2Fpython%2Fmypy |
|
Fork
3.1k
| https://patch-diff.githubusercontent.com/login?return_to=%2Fpython%2Fmypy |
|
Star
20.1k
| https://patch-diff.githubusercontent.com/login?return_to=%2Fpython%2Fmypy |
|
Code
| https://patch-diff.githubusercontent.com/python/mypy |
|
Issues
2.7k
| https://patch-diff.githubusercontent.com/python/mypy/issues |
|
Pull requests
426
| https://patch-diff.githubusercontent.com/python/mypy/pulls |
|
Actions
| https://patch-diff.githubusercontent.com/python/mypy/actions |
|
Projects
0
| https://patch-diff.githubusercontent.com/python/mypy/projects |
|
Wiki
| https://patch-diff.githubusercontent.com/python/mypy/wiki |
|
Security
Uh oh!
There was an error while loading. Please reload this page.
| https://patch-diff.githubusercontent.com/python/mypy/security |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
|
Insights
| https://patch-diff.githubusercontent.com/python/mypy/pulse |
|
Code
| https://patch-diff.githubusercontent.com/python/mypy |
|
Issues
| https://patch-diff.githubusercontent.com/python/mypy/issues |
|
Pull requests
| https://patch-diff.githubusercontent.com/python/mypy/pulls |
|
Actions
| https://patch-diff.githubusercontent.com/python/mypy/actions |
|
Projects
| https://patch-diff.githubusercontent.com/python/mypy/projects |
|
Wiki
| https://patch-diff.githubusercontent.com/python/mypy/wiki |
|
Security
| https://patch-diff.githubusercontent.com/python/mypy/security |
|
Insights
| https://patch-diff.githubusercontent.com/python/mypy/pulse |
| Sign up for GitHub
| https://patch-diff.githubusercontent.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://patch-diff.githubusercontent.com/login?return_to=%2Fpython%2Fmypy%2Fissues%2Fnew%2Fchoose |
| Jump to bottom | https://patch-diff.githubusercontent.com/python/mypy/pull/20577#issue-comment-box |
| michaelm-openai | https://patch-diff.githubusercontent.com/michaelm-openai |
| python:master | https://patch-diff.githubusercontent.com/python/mypy/tree/master |
| michaelm-openai:michaelm/disallow-str-iteration | https://patch-diff.githubusercontent.com/michaelm-openai/mypy/tree/michaelm/disallow-str-iteration |
|
Add --disallow-str-iteration flag
| https://patch-diff.githubusercontent.com/python/mypy/pull/20577#top |
| michaelm-openai | https://patch-diff.githubusercontent.com/michaelm-openai |
| python:master | https://patch-diff.githubusercontent.com/python/mypy/tree/master |
| michaelm-openai:michaelm/disallow-str-iteration | https://patch-diff.githubusercontent.com/michaelm-openai/mypy/tree/michaelm/disallow-str-iteration |
|
Conversation
19
| https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
|
Commits
11
| https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits |
|
Checks
23
| https://patch-diff.githubusercontent.com/python/mypy/pull/20577/checks |
|
Files changed
| https://patch-diff.githubusercontent.com/python/mypy/pull/20577/files |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| https://github.co/hiddenchars |
| https://patch-diff.githubusercontent.com/python/mypy/pull/{{ revealButtonHref }} |
|
| https://patch-diff.githubusercontent.com/michaelm-openai |
| michaelm-openai | https://patch-diff.githubusercontent.com/michaelm-openai |
| Jan 13, 2026 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577#issue-3809581312 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| #11001 | https://github.com/python/mypy/issues/11001 |
| python/typing#256 | https://github.com/python/typing/issues/256 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| https://patch-diff.githubusercontent.com/JelleZijlstra |
| JelleZijlstra | https://patch-diff.githubusercontent.com/JelleZijlstra |
|
Jan 13, 2026
| https://patch-diff.githubusercontent.com/python/mypy/pull/20577#pullrequestreview-3656716797 |
|
View reviewed changes
| https://patch-diff.githubusercontent.com/python/mypy/pull/20577/files |
| docs/source/command_line.rst | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/files#diff-07fe2aa6ca4b414246227427e4eb27845bfffde835998796996142d743c8196d |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| mypy/checker.py | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/files#diff-f96a2d6138bc6cdf2a07c4d37f6071cc25c1631afc107e277a28d5b59fc0ef04 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| mypy/subtypes.py | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/files#diff-3641fc675bdf772ec816dbb1b8ef258e9f07c15f604d83d7549bf7b873757a54 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| mypy/typeshed/stdlib/builtins.pyi | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/files#diff-957521c98e014a4941c95b617156ee21650772065425c6a52e6f4b5729a9e79a |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| test-data/unit/check-flags.test | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/files#diff-7554754ef53c99ab2fa88f631a427e23169c894e0c58ea818ab04c084a3ad650 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| test-data/unit/check-flags.test | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/files#diff-7554754ef53c99ab2fa88f631a427e23169c894e0c58ea818ab04c084a3ad650 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| https://patch-diff.githubusercontent.com/apps/github-actions |
| Sign in to view | https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20577 |
| https://patch-diff.githubusercontent.com/apps/github-actions |
| Sign in to view | https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20577 |
| https://patch-diff.githubusercontent.com/JelleZijlstra |
| JelleZijlstra | https://patch-diff.githubusercontent.com/JelleZijlstra |
|
Jan 13, 2026
| https://patch-diff.githubusercontent.com/python/mypy/pull/20577#pullrequestreview-3657947135 |
|
View reviewed changes
| https://patch-diff.githubusercontent.com/python/mypy/pull/20577/files |
| mypy/checker.py | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/files#diff-f96a2d6138bc6cdf2a07c4d37f6071cc25c1631afc107e277a28d5b59fc0ef04 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| https://patch-diff.githubusercontent.com/JelleZijlstra |
| JelleZijlstra | https://patch-diff.githubusercontent.com/JelleZijlstra |
|
Jan 13, 2026
| https://patch-diff.githubusercontent.com/python/mypy/pull/20577#pullrequestreview-3657949152 |
|
View reviewed changes
| https://patch-diff.githubusercontent.com/python/mypy/pull/20577/files |
| mypy/messages.py | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/files#diff-81ed300e83205366be4a93b57bbe65edb0826dbeda7f1655e506d5cc103c69c0 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| https://patch-diff.githubusercontent.com/michaelm-openai |
| michaelm-openai | https://patch-diff.githubusercontent.com/michaelm-openai |
| JelleZijlstra | https://patch-diff.githubusercontent.com/JelleZijlstra |
| January 14, 2026 06:05 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577#event-22034537426 |
| https://patch-diff.githubusercontent.com/apps/github-actions |
| Sign in to view | https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20577 |
| https://patch-diff.githubusercontent.com/apps/github-actions |
| Sign in to view | https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20577 |
| https://patch-diff.githubusercontent.com/michaelm-openai |
| michaelm-openai | https://patch-diff.githubusercontent.com/michaelm-openai |
| Jan 14, 2026 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577#issuecomment-3751047969 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| https://patch-diff.githubusercontent.com/apps/github-actions |
| Sign in to view | https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20577 |
| https://patch-diff.githubusercontent.com/michaelm-openai |
| michaelm-openai | https://patch-diff.githubusercontent.com/michaelm-openai |
| force-pushed | https://patch-diff.githubusercontent.com/python/mypy/compare/9170fb1eff16acc8417304f6bd913bb8bdebcdbe..473a4a1a7abc4e1adba97fb84e0df5fc6d348a68 |
| 9170fb1 | https://patch-diff.githubusercontent.com/python/mypy/commit/9170fb1eff16acc8417304f6bd913bb8bdebcdbe |
| 473a4a1 | https://patch-diff.githubusercontent.com/python/mypy/commit/473a4a1a7abc4e1adba97fb84e0df5fc6d348a68 |
|
Compare
| https://patch-diff.githubusercontent.com/python/mypy/compare/9170fb1eff16acc8417304f6bd913bb8bdebcdbe..473a4a1a7abc4e1adba97fb84e0df5fc6d348a68 |
| January 15, 2026 04:14 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577#event-22060152220 |
| https://patch-diff.githubusercontent.com/apps/github-actions |
| Sign in to view | https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20577 |
| https://patch-diff.githubusercontent.com/michaelm-openai |
| michaelm-openai | https://patch-diff.githubusercontent.com/michaelm-openai |
| force-pushed | https://patch-diff.githubusercontent.com/python/mypy/compare/09762a7ba31f1aae5281d4f6c20d36c56426d8dd..41bb4d31ad94face4527aa19370fca3d942d9033 |
| 09762a7 | https://patch-diff.githubusercontent.com/python/mypy/commit/09762a7ba31f1aae5281d4f6c20d36c56426d8dd |
| 41bb4d3 | https://patch-diff.githubusercontent.com/python/mypy/commit/41bb4d31ad94face4527aa19370fca3d942d9033 |
|
Compare
| https://patch-diff.githubusercontent.com/python/mypy/compare/09762a7ba31f1aae5281d4f6c20d36c56426d8dd..41bb4d31ad94face4527aa19370fca3d942d9033 |
| January 15, 2026 09:00 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577#event-22064070722 |
| https://patch-diff.githubusercontent.com/apps/github-actions |
| Sign in to view | https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20577 |
| michaelm-openai | https://patch-diff.githubusercontent.com/michaelm-openai |
| January 19, 2026 03:31 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577#commits-pushed-42fc746 |
|
| https://patch-diff.githubusercontent.com/michaelm-openai |
| Add --disallow-str-iteration flag | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/42fc7465e982900a9aa10b93f2645b6ef4f45681 |
| 42fc746 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/42fc7465e982900a9aa10b93f2645b6ef4f45681 |
|
| https://patch-diff.githubusercontent.com/michaelm-openai |
| address feedback | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/8f676ce51855c1d037402465f5b710e61c4026f0 |
| 8f676ce | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/8f676ce51855c1d037402465f5b710e61c4026f0 |
|
| https://patch-diff.githubusercontent.com/michaelm-openai |
| actually commit the patch + more adjustments | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/7c00756eec1d80091f3ec45e812431b093b9aea5 |
| 7c00756 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/7c00756eec1d80091f3ec45e812431b093b9aea5 |
|
| https://patch-diff.githubusercontent.com/michaelm-openai |
| address more feedback + undo reversible | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/d6258ec7f0d4f32dfd5f1567a5c6445e8dcd6a70 |
| d6258ec | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/d6258ec7f0d4f32dfd5f1567a5c6445e8dcd6a70 |
|
| https://patch-diff.githubusercontent.com/michaelm-openai |
| Swap iter overloads to preserve previous error behavior | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/ac222395466f7f32e80c823128da9824a3b568ff |
| ac22239 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/ac222395466f7f32e80c823128da9824a3b568ff |
|
| https://patch-diff.githubusercontent.com/michaelm-openai |
| fix union simplification | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/919a42aef2e46935f56de76b0d6a558bf2a8e524 |
| 919a42a | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/919a42aef2e46935f56de76b0d6a558bf2a8e524 |
|
| https://patch-diff.githubusercontent.com/michaelm-openai |
| refactor disallow_str_iteration checks and add check to is_overlappin… | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/df947c3bcba6aea820232ef20947b0e85ad1e67f |
| df947c3 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/df947c3bcba6aea820232ef20947b0e85ad1e67f |
|
| https://patch-diff.githubusercontent.com/michaelm-openai |
| Fix join_instances_via_supertype | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/d0d1fe22be146530eaa7977db7ed0d0681127232 |
| d0d1fe2 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/d0d1fe22be146530eaa7977db7ed0d0681127232 |
|
| https://patch-diff.githubusercontent.com/michaelm-openai |
| Fix method override check | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/c6786ab83d4e1dbe7339f128e18607c3654fdb6d |
| c6786ab | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/c6786ab83d4e1dbe7339f128e18607c3654fdb6d |
| https://patch-diff.githubusercontent.com/michaelm-openai |
| michaelm-openai | https://patch-diff.githubusercontent.com/michaelm-openai |
| force-pushed | https://patch-diff.githubusercontent.com/python/mypy/compare/8edc2d83c0938479e33a3a8c0b4c8b3f641eef11..2591e4b378432ca511449f71c1e005d866a8bb7e |
| 8edc2d8 | https://patch-diff.githubusercontent.com/python/mypy/commit/8edc2d83c0938479e33a3a8c0b4c8b3f641eef11 |
| 2591e4b | https://patch-diff.githubusercontent.com/python/mypy/commit/2591e4b378432ca511449f71c1e005d866a8bb7e |
|
Compare
| https://patch-diff.githubusercontent.com/python/mypy/compare/8edc2d83c0938479e33a3a8c0b4c8b3f641eef11..2591e4b378432ca511449f71c1e005d866a8bb7e |
| January 19, 2026 10:05 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577#event-22133925986 |
|
| https://patch-diff.githubusercontent.com/michaelm-openai |
| Fix type narrowing | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/7ca80af7132ddfb10a5245f8b90db637838ca3ee |
| 7ca80af | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/7ca80af7132ddfb10a5245f8b90db637838ca3ee |
| https://patch-diff.githubusercontent.com/michaelm-openai |
| michaelm-openai | https://patch-diff.githubusercontent.com/michaelm-openai |
| force-pushed | https://patch-diff.githubusercontent.com/python/mypy/compare/60e8382992b7b5f14a176fbb23bf66c09afef157..7ca80af7132ddfb10a5245f8b90db637838ca3ee |
| 60e8382 | https://patch-diff.githubusercontent.com/python/mypy/commit/60e8382992b7b5f14a176fbb23bf66c09afef157 |
| 7ca80af | https://patch-diff.githubusercontent.com/python/mypy/commit/7ca80af7132ddfb10a5245f8b90db637838ca3ee |
|
Compare
| https://patch-diff.githubusercontent.com/python/mypy/compare/60e8382992b7b5f14a176fbb23bf66c09afef157..7ca80af7132ddfb10a5245f8b90db637838ca3ee |
| January 19, 2026 10:07 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577#event-22133994423 |
|
| https://patch-diff.githubusercontent.com/marketplace/pre-commit-ci |
| [pre-commit.ci] auto fixes from pre-commit.com hooks | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/56c76ff9e18eac1cf7b73c2036e7b51885fd1105 |
| 56c76ff | https://patch-diff.githubusercontent.com/python/mypy/pull/20577/commits/56c76ff9e18eac1cf7b73c2036e7b51885fd1105 |
| https://pre-commit.ci | https://pre-commit.ci |
| https://patch-diff.githubusercontent.com/apps/github-actions |
| github-actions | https://patch-diff.githubusercontent.com/apps/github-actions |
| Jan 19, 2026 | https://patch-diff.githubusercontent.com/python/mypy/pull/20577#issuecomment-3767595935 |
| mypy_primer | https://github.com/hauntsaninja/mypy_primer |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
| Sign up for free | https://patch-diff.githubusercontent.com/join?source=comment-repo |
| Sign in to comment | https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20577 |
|
| https://patch-diff.githubusercontent.com/JelleZijlstra |
|
JelleZijlstra
| https://patch-diff.githubusercontent.com/JelleZijlstra |
|
Allow mypy to flag str matching against Sequence[str] as an error
| https://github.com/python/mypy/issues/11001 |
| Please reload this page | https://patch-diff.githubusercontent.com/python/mypy/pull/20577 |
|
| https://patch-diff.githubusercontent.com/michaelm-openai |
|
| https://patch-diff.githubusercontent.com/JelleZijlstra |
|
| 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 |