| 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:7f81b3d0-2a52-5c60-6aa3-90981c58c979 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | E5F4:129FD3:6DE837:91FB1E:6A5B4B36 |
| html-safe-nonce | af6c50ab5f9a753cef3b545f83d8a41561cd34e540698f93b783e36d35e6d5fe |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFNUY0OjEyOUZEMzo2REU4Mzc6OTFGQjFFOjZBNUI0QjM2IiwidmlzaXRvcl9pZCI6IjQ1NTQyNDM5OTgwMTg2NTI5ODIiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ== |
| visitor-hmac | 1bcc631c6d122b9115597656bceb4638a6096dd4206efdb5e8498774ee7090d8 |
| hovercard-subject-tag | pull_request:2530367214 |
| 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/19118/pull_request_layout |
| twitter:image | https://opengraph.githubassets.com/9f209f76db89ff0470b8365ea422a2446fde9d78092c68ee96427ffca43a8f70/python/mypy/pull/19118 |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/9f209f76db89ff0470b8365ea422a2446fde9d78092c68ee96427ffca43a8f70/python/mypy/pull/19118 |
| og:image:alt | Fixes #18606
Closes #18511
Improves #18991
Fixes #19170
This change is an improvement over 9685171. Besides fixing the regressions reported in #18606 and #19170 and removing the duplicates reporte... |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| og:author:username | tyralla |
| hostname | github.com |
| expected-hostname | github.com |
| None | 5290d7e14309ad1e76106a9c4237bd1041517e83ea182c8ab756752cb0c6940b |
| turbo-cache-control | no-cache |
| 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 | 9c975978430e9ad293956f2bbdaf153b1bd84a99 |
| ui-target | canary-2 |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://github.com/python/mypy/pull/19118#start-of-content |
|
| https://github.com/ |
|
Sign in
| https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F19118 |
| GitHub CopilotWrite better code with AI | https://github.com/features/copilot |
| GitHub Copilot appDirect agents from issue to merge | https://github.com/features/ai/github-app |
| 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 |
| View all resources | https://github.com/resources |
| GitHub SponsorsFund open source developers | https://github.com/open-source/sponsors |
| Security Lab | https://securitylab.github.com |
| Maintainer Community | https://maintainers.github.com |
| Accelerator | https://github.com/open-source/accelerator |
| GitHub Stars | https://stars.github.com |
| 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/enterprise/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%2F19118 |
|
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/19118 |
| Reload | https://github.com/python/mypy/pull/19118 |
| Reload | https://github.com/python/mypy/pull/19118 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
|
python
| https://github.com/python |
| mypy | https://github.com/python/mypy |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
|
Notifications
| https://github.com/login?return_to=%2Fpython%2Fmypy |
|
Fork
3.2k
| https://github.com/login?return_to=%2Fpython%2Fmypy |
|
Star
20.5k
| 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
467
| 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 and quality
0
| https://github.com/python/mypy/security |
|
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 and quality
| https://github.com/python/mypy/security |
|
Insights
| https://github.com/python/mypy/pulse |
| JukkaL | https://github.com/JukkaL |
| python:master | https://github.com/python/mypy/tree/master |
| tyralla:fix/reachability_regression | https://github.com/tyralla/mypy/tree/fix/reachability_regression |
| Conversation | https://github.com/python/mypy/pull/19118 |
| Commits7 (7) | https://github.com/python/mypy/pull/19118/commits |
| Checks | https://github.com/python/mypy/pull/19118/checks |
| Files changed | https://github.com/python/mypy/pull/19118/files |
| Avoid false unreachable, redundant-expr, and redundant-casts warnings in loops more robustly and efficiently, and avoid multiple revealed type notes for the same line. | https://github.com/python/mypy/pull/19118#top |
| JukkaL | https://github.com/JukkaL |
| python:master | https://github.com/python/mypy/tree/master |
| tyralla:fix/reachability_regression | https://github.com/tyralla/mypy/tree/fix/reachability_regression |
|
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| May 20, 2025 | https://github.com/python/mypy/pull/19118#issue-3075688529 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| #18606 | https://github.com/python/mypy/issues/18606 |
| #18511 | https://github.com/python/mypy/issues/18511 |
| #18991 | https://github.com/python/mypy/issues/18991 |
| #19170 | https://github.com/python/mypy/issues/19170 |
| 9685171 | https://github.com/python/mypy/commit/9685171372e003f2c0bad28706f44fea2d5782b0 |
| #18606 | https://github.com/python/mypy/issues/18606 |
| #19170 | https://github.com/python/mypy/issues/19170 |
| #18511 | https://github.com/python/mypy/issues/18511 |
| #18991 | https://github.com/python/mypy/issues/18991 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| tyralla | https://github.com/tyralla |
| May 20, 2025 07:12 | https://github.com/python/mypy/pull/19118#commits-pushed-229e4a6 |
|
| https://github.com/tyralla |
| Avoid false unreachable and redundant-expr warnings in loops more… | https://github.com/python/mypy/pull/19118/commits/229e4a6cb90d7c21cf91306df7aa9111ec99a295 |
| 229e4a6 | https://github.com/python/mypy/pull/19118/commits/229e4a6cb90d7c21cf91306df7aa9111ec99a295 |
| 9685171 | https://github.com/tyralla/mypy/commit/9685171372e003f2c0bad28706f44fea2d5782b0 |
| python#18606 | https://github.com/python/mypy/issues/18606 |
| python#18511 | https://github.com/python/mypy/issues/18511 |
| python#18991 | https://github.com/python/mypy/issues/18991 |
|
| https://github.com/marketplace/pre-commit-ci |
| [pre-commit.ci] auto fixes from pre-commit.com hooks | https://github.com/python/mypy/pull/19118/commits/c4bea4e7c9abb8af01892811c5fcd8765a2f7410 |
| c4bea4e | https://github.com/python/mypy/pull/19118/commits/c4bea4e7c9abb8af01892811c5fcd8765a2f7410 |
| https://pre-commit.ci | https://pre-commit.ci |
| https://github.com/apps/github-actions |
| Sign in to view | https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F19118 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| JukkaL | https://github.com/JukkaL |
| May 20, 2025 06:58 | https://github.com/python/mypy/pull/19118#event-17727604146 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| May 20, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2893185450 |
| @JukkaL | https://github.com/JukkaL |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| tyralla | https://github.com/tyralla |
| May 22, 2025 10:02 | https://github.com/python/mypy/pull/19118#commits-pushed-c24c950 |
|
| https://github.com/tyralla |
| report all revealed types, not only those of the last iterations step | https://github.com/python/mypy/pull/19118/commits/c24c950341ed2dd8b91a5ac044d87a2c23c8e223 |
| c24c950 | https://github.com/python/mypy/pull/19118/commits/c24c950341ed2dd8b91a5ac044d87a2c23c8e223 |
|
| https://github.com/tyralla |
| restart CI | https://github.com/python/mypy/pull/19118/commits/b6930e736a3bc7604a3aab7bfe4b750e0694c51d |
| b6930e7 | https://github.com/python/mypy/pull/19118/commits/b6930e736a3bc7604a3aab7bfe4b750e0694c51d |
|
| https://github.com/tyralla |
| Revert "restart CI" | https://github.com/python/mypy/pull/19118/commits/01b6140208158ec9d2b74cd0b8b729edcb6cd84a |
| 01b6140 | https://github.com/python/mypy/pull/19118/commits/01b6140208158ec9d2b74cd0b8b729edcb6cd84a |
| b6930e7 | https://github.com/tyralla/mypy/commit/b6930e736a3bc7604a3aab7bfe4b750e0694c51d |
| https://github.com/apps/github-actions |
| Sign in to view | https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F19118 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| A5rocks | https://github.com/A5rocks |
| hauntsaninja | https://github.com/hauntsaninja |
| May 22, 2025 16:02 | https://github.com/python/mypy/pull/19118#event-17775571225 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| May 22, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2901792758 |
| https://github.com/pydata/xarray | https://github.com/pydata/xarray |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/sterliakov |
| sterliakov | https://github.com/sterliakov |
| May 22, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2902723138 |
| #19121 | https://github.com/python/mypy/issues/19121 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| May 23, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2903311521 |
| @sterliakov | https://github.com/sterliakov |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/sterliakov |
| sterliakov | https://github.com/sterliakov |
| May 23, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2904350024 |
| @tyralla | https://github.com/tyralla |
| #18976 | https://github.com/python/mypy/pull/18976 |
| https://mypy-play.net/?mypy=master&python=3.12&flags=strict&gist=50f4ae811a650f9e90c6f52269f59d29 | https://mypy-play.net/?mypy=master&python=3.12&flags=strict&gist=50f4ae811a650f9e90c6f52269f59d29 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/A5rocks |
| A5rocks | https://github.com/A5rocks |
|
May 23, 2025
| https://github.com/python/mypy/pull/19118#pullrequestreview-2864934459 |
|
View reviewed changes
| https://github.com/python/mypy/pull/19118/files/01b6140208158ec9d2b74cd0b8b729edcb6cd84a |
| A5rocks | https://github.com/A5rocks |
| https://github.com/python/mypy/pull/19118#pullrequestreview-2864934459 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| mypy/checker.py | https://github.com/python/mypy/pull/19118/files/01b6140208158ec9d2b74cd0b8b729edcb6cd84a#diff-f96a2d6138bc6cdf2a07c4d37f6071cc25c1631afc107e277a28d5b59fc0ef04 |
| A5rocks | https://github.com/A5rocks |
| May 23, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2104902469 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| tyralla | https://github.com/tyralla |
| May 23, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2105253163 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| A5rocks | https://github.com/A5rocks |
| May 23, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2105384511 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| tyralla | https://github.com/tyralla |
| May 23, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2105392054 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| A5rocks | https://github.com/A5rocks |
| May 23, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2105404289 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| tyralla | https://github.com/tyralla |
| May 24, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2105543772 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| tyralla | https://github.com/tyralla |
| May 24, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2105792037 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| May 23, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2905500261 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/A5rocks |
| A5rocks | https://github.com/A5rocks |
| May 23, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2905762222 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| May 23, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2905773089 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
|
| https://github.com/tyralla |
| Add the test case `testPersistentUnreachableLinesNestedInInpersistent… | https://github.com/python/mypy/pull/19118/commits/15f5740f4f055e154bfe3e17530afc5f8d126237 |
| 15f5740 | https://github.com/python/mypy/pull/19118/commits/15f5740f4f055e154bfe3e17530afc5f8d126237 |
| @A5rocks | https://github.com/A5rocks |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| A5rocks | https://github.com/A5rocks |
| May 24, 2025 00:41 | https://github.com/python/mypy/pull/19118#event-17797795108 |
| https://github.com/apps/github-actions |
| Sign in to view | https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F19118 |
| https://github.com/A5rocks |
| A5rocks | https://github.com/A5rocks |
|
May 25, 2025
| https://github.com/python/mypy/pull/19118#pullrequestreview-2866742318 |
|
View reviewed changes
| https://github.com/python/mypy/pull/19118/files/15f5740f4f055e154bfe3e17530afc5f8d126237 |
| A5rocks | https://github.com/A5rocks |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/python/mypy/pull/19118#pullrequestreview-2866742318 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/A5rocks |
| A5rocks | https://github.com/A5rocks |
|
May 25, 2025
| https://github.com/python/mypy/pull/19118#pullrequestreview-2866744055 |
|
View reviewed changes
| https://github.com/python/mypy/pull/19118/files/15f5740f4f055e154bfe3e17530afc5f8d126237 |
| mypy/checker.py | https://github.com/python/mypy/pull/19118/files/15f5740f4f055e154bfe3e17530afc5f8d126237#diff-f96a2d6138bc6cdf2a07c4d37f6071cc25c1631afc107e277a28d5b59fc0ef04 |
| A5rocks | https://github.com/A5rocks |
| May 25, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2106106588 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| tyralla | https://github.com/tyralla |
| May 25, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2106271424 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| 229e4a6 | https://github.com/python/mypy/commit/229e4a6cb90d7c21cf91306df7aa9111ec99a295 |
| c24c950 | https://github.com/python/mypy/commit/c24c950341ed2dd8b91a5ac044d87a2c23c8e223 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| A5rocks | https://github.com/A5rocks |
| May 25, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2106272282 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| tyralla | https://github.com/tyralla |
| May 25, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2106274568 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| A5rocks | https://github.com/A5rocks |
| May 25, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2106275972 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| tyralla | https://github.com/tyralla |
| May 25, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2106309284 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| tyralla | https://github.com/tyralla |
| May 26, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2107817195 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| A5rocks | https://github.com/A5rocks |
| May 31, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2117042947 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| @JukkaL | https://github.com/JukkaL |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| tyralla | https://github.com/tyralla |
| May 31, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2117523511 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| JukkaL | https://github.com/JukkaL |
| Jun 2, 2025 | https://github.com/python/mypy/pull/19118#discussion_r2121423289 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| @tyralla | https://github.com/tyralla |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
|
May 30, 2025
| https://github.com/python/mypy/pull/19118#ref-issue-3102204942 |
|
[1.16 regression] a cast is both needed and redundant at the same time
#19170
| https://github.com/python/mypy/issues/19170 |
|
| https://github.com/tyralla |
| consider redundant-casts, too | https://github.com/python/mypy/pull/19118/commits/129f1cb8762e3672563bfc3b029f2328c1357ccb |
| 129f1cb | https://github.com/python/mypy/pull/19118/commits/129f1cb8762e3672563bfc3b029f2328c1357ccb |
| https://github.com/apps/github-actions |
| github-actions | https://github.com/apps/github-actions |
| May 30, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2922110301 |
| mypy_primer | https://github.com/hauntsaninja/mypy_primer |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| May 30, 2025 | https://github.com/python/mypy/pull/19118#event-17884339005 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| May 30, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2922207586 |
| @hauntsaninja | https://github.com/hauntsaninja |
| @hynek | https://github.com/hynek |
| #19170 | https://github.com/python/mypy/issues/19170 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/JukkaL |
| JukkaL | https://github.com/JukkaL |
| May 30, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2922237851 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| May 30, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2922257871 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| May 30, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2923534246 |
| @JukkaL | https://github.com/JukkaL |
| #18433 | https://github.com/python/mypy/pull/18433 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/JukkaL |
| JukkaL | https://github.com/JukkaL |
| Jun 2, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2931155951 |
| #18433 | https://github.com/python/mypy/pull/18433 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/JukkaL |
| JukkaL | https://github.com/JukkaL |
|
Jun 5, 2025
| https://github.com/python/mypy/pull/19118#pullrequestreview-2901362057 |
|
View reviewed changes
| https://github.com/python/mypy/pull/19118/files/129f1cb8762e3672563bfc3b029f2328c1357ccb |
| JukkaL | https://github.com/JukkaL |
| https://github.com/python/mypy/pull/19118#pullrequestreview-2901362057 |
| Learn more | https://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment |
| @A5rocks | https://github.com/A5rocks |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/A5rocks |
| A5rocks | https://github.com/A5rocks |
| Jun 5, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2945843541 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| #19118 (comment) | https://github.com/python/mypy/pull/19118#discussion_r2106280582 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
| Jun 6, 2025 | https://github.com/python/mypy/pull/19118#issuecomment-2948361646 |
| @A5rocks | https://github.com/A5rocks |
| mypy/mypy/checker.py | https://github.com/python/mypy/blob/b025bda885027aa12965135e376a060d7582df06/mypy/checker.py#L4954-L4985 |
| b025bda | https://github.com/python/mypy/commit/b025bda885027aa12965135e376a060d7582df06 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
| https://github.com/A5rocks |
| A5rocks | https://github.com/A5rocks |
|
Jun 6, 2025
| https://github.com/python/mypy/pull/19118#pullrequestreview-2904883045 |
|
View reviewed changes
| https://github.com/python/mypy/pull/19118/files/129f1cb8762e3672563bfc3b029f2328c1357ccb |
| https://github.com/JukkaL |
| JukkaL | https://github.com/JukkaL |
| 55c4067 | https://github.com/python/mypy/commit/55c4067a22e69b8c5e386f80821fa6d969b126a3 |
| Jun 6, 2025 | https://github.com/python/mypy/pull/19118#event-18023287716 |
| https://github.com/JukkaL |
| JukkaL | https://github.com/JukkaL |
|
Jun 6, 2025
| https://github.com/python/mypy/pull/19118#ref-issue-2879563028 |
|
1.16 Release Planning
#18739
| https://github.com/python/mypy/issues/18739 |
| tyralla | https://github.com/tyralla |
|
Jun 6, 2025
| https://github.com/python/mypy/pull/19118#ref-commit-1b54b9c |
|
| https://github.com/tyralla |
| Fix a minor merge conflict caused by | https://github.com/tyralla/mypy/commit/1b54b9cfd7e80a85c63ccf46c48bbad316b821b9 |
| python#19118 | https://github.com/python/mypy/pull/19118 |
| . | https://github.com/tyralla/mypy/commit/1b54b9cfd7e80a85c63ccf46c48bbad316b821b9 |
| 1b54b9c | https://github.com/tyralla/mypy/commit/1b54b9cfd7e80a85c63ccf46c48bbad316b821b9 |
| https://github.com/tyralla |
| tyralla | https://github.com/tyralla |
|
Jun 6, 2025
| https://github.com/python/mypy/pull/19118#ref-pullrequest-3125948228 |
|
Improve the support for promotions inside unions.
#19245
| https://github.com/python/mypy/pull/19245 |
| hauntsaninja | https://github.com/hauntsaninja |
|
Jun 6, 2025
| https://github.com/python/mypy/pull/19118#ref-commit-a573a40 |
|
| https://github.com/tyralla |
| Fix a minor merge conflict caused by | https://github.com/python/mypy/commit/a573a4047c87f001fd411cf765410604d96fd55a |
| #19118 | https://github.com/python/mypy/pull/19118 |
| ( | https://github.com/python/mypy/commit/a573a4047c87f001fd411cf765410604d96fd55a |
| #19246 | https://github.com/python/mypy/pull/19246 |
| ) | https://github.com/python/mypy/commit/a573a4047c87f001fd411cf765410604d96fd55a |
| a573a40 | https://github.com/python/mypy/commit/a573a4047c87f001fd411cf765410604d96fd55a |
|
Wrong unreachable note in finally section
#19269
| https://github.com/python/mypy/issues/19269 |
|
Improve the handling of "iteration dependent" errors and notes in finally clauses.
#19270
| https://github.com/python/mypy/pull/19270 |
| JukkaL | https://github.com/JukkaL |
|
Jun 20, 2025
| https://github.com/python/mypy/pull/19118#ref-commit-4322d4f |
|
| https://github.com/tyralla |
| Improve the handling of "iteration dependent" errors and notes in fin… | https://github.com/python/mypy/commit/4322d4f443ef7568b1c0f4fec8df9e12e90fd8b9 |
| 4322d4f | https://github.com/python/mypy/commit/4322d4f443ef7568b1c0f4fec8df9e12e90fd8b9 |
| #19270 | https://github.com/python/mypy/pull/19270 |
| #19269 | https://github.com/python/mypy/issues/19269 |
| #19118 | https://github.com/python/mypy/pull/19118 |
|
Combine the revealed types of multiple iteration steps in a more robust manner.
#19324
| https://github.com/python/mypy/pull/19324 |
|
1.17 Release Planning
#19306
| https://github.com/python/mypy/issues/19306 |
| JukkaL | https://github.com/JukkaL |
|
Jul 7, 2025
| https://github.com/python/mypy/pull/19118#ref-commit-1fde143 |
|
| https://github.com/tyralla |
| Combine the revealed types of multiple iteration steps in a more robu… | https://github.com/python/mypy/commit/1fde1438f6c47963ecd6e10a8c410ac41ba05103 |
| 1fde143 | https://github.com/python/mypy/commit/1fde1438f6c47963ecd6e10a8c410ac41ba05103 |
| #19324 | https://github.com/python/mypy/pull/19324 |
| #19118 | https://github.com/python/mypy/pull/19118 |
| #19270 | https://github.com/python/mypy/pull/19270 |
| @JukkaL | https://github.com/JukkaL |
| esarp | https://github.com/esarp |
|
Jul 10, 2025
| https://github.com/python/mypy/pull/19118#ref-commit-ab4fd57 |
|
| https://github.com/tyralla |
|
| https://github.com/esarp |
| Improve the handling of "iteration dependent" errors and notes in fin… | https://github.com/python/mypy/commit/ab4fd57d45b7f81cf281b17b7d3697ac9f79bc15 |
| ab4fd57 | https://github.com/python/mypy/commit/ab4fd57d45b7f81cf281b17b7d3697ac9f79bc15 |
| #19270 | https://github.com/python/mypy/pull/19270 |
| #19269 | https://github.com/python/mypy/issues/19269 |
| #19118 | https://github.com/python/mypy/pull/19118 |
| esarp | https://github.com/esarp |
|
Jul 10, 2025
| https://github.com/python/mypy/pull/19118#ref-commit-a182dec |
|
| https://github.com/tyralla |
|
| https://github.com/esarp |
| Combine the revealed types of multiple iteration steps in a more robu… | https://github.com/python/mypy/commit/a182dec997b418b925fe0c28575c50debba0bb3a |
| a182dec | https://github.com/python/mypy/commit/a182dec997b418b925fe0c28575c50debba0bb3a |
| #19324 | https://github.com/python/mypy/pull/19324 |
| #19118 | https://github.com/python/mypy/pull/19118 |
| #19270 | https://github.com/python/mypy/pull/19270 |
| @JukkaL | https://github.com/JukkaL |
| https://github.co/hiddenchars |
| https://github.com/python/mypy/pull/{{ revealButtonHref }} |
| 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%2F19118 |
|
| https://github.com/JukkaL |
|
JukkaL
| https://github.com/JukkaL |
|
| https://github.com/python/mypy/pull/19118/files/129f1cb8762e3672563bfc3b029f2328c1357ccb |
|
| https://github.com/hauntsaninja |
|
hauntsaninja
| https://github.com/hauntsaninja |
|
| https://github.com/A5rocks |
|
A5rocks
| https://github.com/A5rocks |
|
| https://github.com/python/mypy/pull/19118/files/129f1cb8762e3672563bfc3b029f2328c1357ccb |
|
[1.16 regression] a cast is both needed and redundant at the same time
| https://github.com/python/mypy/issues/19170 |
|
[1.15 regression] (Temporary) false positive for reachability with unannotated partial type
| https://github.com/python/mypy/issues/18606 |
|
mypy duplicates reveal_type notes with partial types
| https://github.com/python/mypy/issues/18511 |
| Please reload this page | https://github.com/python/mypy/pull/19118 |
|
| https://github.com/tyralla |
|
| https://github.com/sterliakov |
|
| https://github.com/A5rocks |
|
| https://github.com/JukkaL |
|
| 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 |