René's URL Explorer Experiment


Title: Draft: Solve intermediate variable bug by randolf-scholz · Pull Request #19399 · python/mypy · GitHub

Open Graph Title: Draft: Solve intermediate variable bug by randolf-scholz · Pull Request #19399 · python/mypy

X Title: Draft: Solve intermediate variable bug by randolf-scholz · Pull Request #19399 · python/mypy

Description: Optional static typing for Python. Contribute to python/mypy development by creating an account on GitHub.

Open Graph Description: Fixes: Assigning to intermediate variable changes type checking results #19304 Fixes: Unexpected "incompatible type" error when chaining bytes(filter()) #12247 Fixes: Unsupported operand ...

X Description: Fixes: Assigning to intermediate variable changes type checking results #19304 Fixes: Unexpected "incompatible type" error when chaining bytes(filter()) #12247 Fixes: Unsupported ...

Opengraph URL: https://github.com/python/mypy/pull/19399

X: @github

direct link

Domain: github.com

route-pattern/_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
route-controllervoltron_pull_requests_fragments
route-actionpull_request_layout
fetch-noncev2:dd8d6a54-1f47-628b-9234-b7dd428b19f5
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idE49A:118A04:51B580:73F119:6A62261E
html-safe-nonce5c24673a813584c520685dcc45e31b53f09e2a28de6a7458af1c6bbf079937c4
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFNDlBOjExOEEwNDo1MUI1ODA6NzNGMTE5OjZBNjIyNjFFIiwidmlzaXRvcl9pZCI6IjkxNDE0NTAxNjc0NDMxMzgwNzgiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac28b3d577562a282e0e0f605df9e8c2dc796e404ddfa888aa8890106ffd06ffb7
hovercard-subject-tagpull_request:2649663801
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///voltron/pull_requests_fragments/pull_request_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/python/mypy/19399/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/d3c54457e7b29c80c3c9897802f87767a27bf5eeefec212434c28b71deaa8e50/python/mypy/pull/19399
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/d3c54457e7b29c80c3c9897802f87767a27bf5eeefec212434c28b71deaa8e50/python/mypy/pull/19399
og:image:altFixes: Assigning to intermediate variable changes type checking results #19304 Fixes: Unexpected "incompatible type" error when chaining bytes(filter()) #12247 Fixes: Unsupported operand ...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamerandolf-scholz
hostnamegithub.com
expected-hostnamegithub.com
None21839f35c93a14bc8ff43c34023894ded3dead0c48f637766489aed48b50c808
turbo-cache-controlno-cache
go-importgithub.com/python/mypy git https://github.com/python/mypy.git
octolytics-dimension-user_id1525981
octolytics-dimension-user_loginpython
octolytics-dimension-repository_id7053637
octolytics-dimension-repository_nwopython/mypy
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id7053637
octolytics-dimension-repository_network_root_nwopython/mypy
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasef870b4bd550634487383a2b5db62e680537bec89
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/python/mypy/pull/19399#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F19399
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
Code QualityEnforce quality at mergehttps://github.com/features/code-quality
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/enterprise/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://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%2F19399
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
Reloadhttps://github.com/python/mypy/pull/19399
Reloadhttps://github.com/python/mypy/pull/19399
Reloadhttps://github.com/python/mypy/pull/19399
Please reload this pagehttps://github.com/python/mypy/pull/19399
python https://github.com/python
mypyhttps://github.com/python/mypy
Please reload this pagehttps://github.com/python/mypy/pull/19399
Notifications https://github.com/login?return_to=%2Fpython%2Fmypy
Fork 3.3k 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 474 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
randolf-scholzhttps://github.com/randolf-scholz
python:masterhttps://github.com/python/mypy/tree/master
randolf-scholz:solve_intermediate_variable_bughttps://github.com/randolf-scholz/mypy/tree/solve_intermediate_variable_bug
Conversationhttps://github.com/python/mypy/pull/19399
Commits18 (18)https://github.com/python/mypy/pull/19399/commits
Checkshttps://github.com/python/mypy/pull/19399/checks
Files changedhttps://github.com/python/mypy/pull/19399/files
Draft: Solve intermediate variable bughttps://github.com/python/mypy/pull/19399#top
randolf-scholzhttps://github.com/randolf-scholz
python:masterhttps://github.com/python/mypy/tree/master
randolf-scholz:solve_intermediate_variable_bughttps://github.com/randolf-scholz/mypy/tree/solve_intermediate_variable_bug
https://github.com/randolf-scholz
randolf-scholzhttps://github.com/randolf-scholz
Jul 8, 2025https://github.com/python/mypy/pull/19399#issue-3212265731
Please reload this pagehttps://github.com/python/mypy/pull/19399
Assigning to intermediate variable changes type checking results #19304https://github.com/python/mypy/issues/19304
Unexpected "incompatible type" error when chaining bytes(filter()) #12247https://github.com/python/mypy/issues/12247
Unsupported operand types for + ("list[None]" and "list[str]") #19413https://github.com/python/mypy/issues/19413
Spurious error when adding two list #15087https://github.com/python/mypy/issues/15087
Mypy is still too eager about outer context #5874https://github.com/python/mypy/issues/5874
Covariant generic type context results in confusing message with __add__ #5971https://github.com/python/mypy/issues/5971
Unsupported operand types for + (List[A] and List[B]) when B extends A #3933https://github.com/python/mypy/issues/3933
Generic matching error when tuple-unpacking result #16310https://github.com/python/mypy/issues/16310
attribute failure when unpacking from tuple and wait_for #15569https://github.com/python/mypy/issues/15569
1https://github.com/python/mypy/pull/19399#user-content-fn-1-c84728485b12824d32aaa2d98c5d72af
mypy-playgroundhttps://mypy-play.net/?mypy=latest&python=3.12&gist=f1c2e9aab9e224f8c703bc5a9773c48c
mypy-playgroundhttps://mypy-play.net/?mypy=latest&python=3.12&gist=1411f54206e6293d4a41170932c357e9
mypy-playgroundhttps://mypy-play.net/?mypy=latest&python=3.12&gist=e25c94a5bb553ba83625515b7c28d303
testLiteralMappingContexthttps://github.com/python/mypy/pull/19399/commits/76f357154c0d0f6b6e6fb649b8da2aba5e3eac2a
mypy-playgroundhttps://mypy-play.net/?mypy=latest&python=3.12&gist=2396e297b03c84107b9810fb2f47ea9a
2https://github.com/python/mypy/pull/19399#user-content-fn-2-c84728485b12824d32aaa2d98c5d72af
3https://github.com/python/mypy/pull/19399#user-content-fn-3-c84728485b12824d32aaa2d98c5d72af
4https://github.com/python/mypy/pull/19399#user-content-fn-4-c84728485b12824d32aaa2d98c5d72af
5https://github.com/python/mypy/pull/19399#user-content-fn-5-c84728485b12824d32aaa2d98c5d72af
https://github.com/python/mypy/pull/19399#user-content-fnref-1-c84728485b12824d32aaa2d98c5d72af
https://mypy-play.net/?mypy=latest&python=3.12&gist=619a7fa6c3ec9d75bd1492bf8e68432chttps://mypy-play.net/?mypy=latest&python=3.12&gist=619a7fa6c3ec9d75bd1492bf8e68432c
inference by pyrighthttps://pyright-play.net/?code=MQAg2gxghgzgpiALnGiBKcIFcBOMCWAbnAIIA2%2BsA6vogBYbZ5FwCSAdqlOxHALoAoUADkA9sgBcICKIC2suO0QwQ%2BdgBN80ZCHZwA7qvYAzODkW8Q%2B2nRAAHKIgi2oduxTjqBxnHKQBPOzUAc1VZO1EcRBAAZTgARywLOAAaEABVdnxRdjSAFUC4ADUoHAEBPJAAXhACu2LSgAoAIjzmgEoBYRRkdWrYhKSeODBM7PYwPLTu1E9JvgWBdThjEAArUTVGqCkpkAAjXfaQAFoAPlqpADob8ogyWBUSa9v7x5AAIUa4xOSwD747ReV3KOxAM16YBIgigYIhc2hAkOn1B-X2IBAoAA8gBpATmYhQMgAfUQhW2x0x4KkGEJZE8AXqqhUzWJxNkUDUbKuH2aqJqYDA%2BwWGOxeIJcCJpPJUEpIhpcDpDLJTPwLP2WHwZEQahgVwoqCFmu1uv1asQYDZHK5xJ5Cz5SP6sNFIAAolIODJwo58Pt6YyUEYQI98MF2AolCBGnAAB52cwwAg5EB0WABkDNeHqKF8ZppQilSh%2BhCplQqhDNXmdCVS8uNfZy6kgWmS%2Bl9cvMjNWznsbm88o1kl1jZbKBpBuN4QKpXtwqd5oqkJXH5DXhgRfsYLLwZ-bs2u25-GK1vS%2BqNEfsetpWWT6et5VztUZjdbld-F-b37DS3snt9%2B3lMsqzIKg2xSFmObjlIHzHOc4I5HAEgCBiKGDqecDnpsl5jgc7S3s2x5Eg%2Bqosh%2Bb7fmMOQ-tava2iQaRkTuFFZFRe60Vc9EgDcVwLABKEYmhw5YVewZ4S6U4ETO6ZPgugRLuRa6URMbHcpxjFfopLHKb%2B%2B6cdxvGHkAA
https://github.com/python/mypy/pull/19399#user-content-fnref-2-c84728485b12824d32aaa2d98c5d72af
same as pyrighthttps://pyright-play.net/?code=MQAg2gxghgzgpiALnGiDCUA2m4CcAqArgA44BqUuAgrgOYxUB2AJgOJyN4CWEG2ccCtToBdAFAAzXAHsAtkgCexLo1ogus4tNyIQ%2BJYMpix%2BEAF49BoQAoA5PlsBKY8zgSQE6wCpK9AFx6jiAAtAB8egEAdNFiuHAAbnBYAPqIBtaeXtYAjAA0IABy0pyOpSAgoAUBAEoJSTjMisQIXDAgAEQAqoxcxWAAMlzIuFhg2SIA-PlFnCLtsXUpac0ZOflZM3D52aVBFYU1iw1NLW1dPX2Dw6PjU4XFcHMLiUvpnnkgWR%2Bbu%2BWVhy9jstTh1ur1GAMhngbpNpg8nkA
https://github.com/python/mypy/pull/19399#user-content-fnref-3-c84728485b12824d32aaa2d98c5d72af
same as pyrighthttps://pyright-play.net/?code=MQAg2gxghgzgpiALnGiCSA7AZnATnDCOAQQHMoBLDVAcQLwogGEoAbVqAI1bjowYgAFXAHtEIiCNYBdAFCgsHUjABcIALTr%2BAd3WIAngAc46qjnyE4srKIC2SI1VIgKtwyNyIQAFSNwAalC4ADQgwmISUqF8AqEA8oaIFCIYbLKy3iAAvD5%2BgbgAFADk3kUAlOkQHDAwIABiBeHikqxg3tJlKrIgPSAAJnBYIAD6w9DsowXwrFihowAeat5lGgB8PmoAdNvpA0OsFFiIBVhqdW0da-VgCUkpbBfSWzt7IKQFiz4r6uveXb0gfCIACuuAwIHm6XwADc4GxhgZjAUDkcCqQyisQKAAHJqABKcFhbDgfQcxhctQARK8LiACgBVDDJDBtAAGAEZQtiUnBLj8QIzmWzOSBufxpJTZEA
https://github.com/python/mypy/pull/19399#user-content-fnref-4-c84728485b12824d32aaa2d98c5d72af
same as pyrighthttps://pyright-play.net/?code=MQAg2gxghgzgpiALnGiCSA7AZnATnDCOAQQHMoBLDVAcQLwogAUpcoBbAZQAc5mB7bgHkMAXQBQoLABsopGAC4QAWmUY4Ad2WIAnr2VUc%2BQnHFZc-dkj1VSICu279ciEABU9cAGqsANCABhKGlZACNpOH8AGQpUfzcAV24IswsrXW5bAH04AA9kagp%2BantHZ1cWNi5eCH8A4ugCqGRxcTcQAF53Tx9cAAoAcjcBgEpxTk7u3l7BzlHxJknKjh4%2BQaZ5gFVJj2nWQc35rx2e-YGvefEAEzgsEBuIPqwlIJCocLgwJjrgsIiwMBuUT%2BTiiUQjFQAPkCv3e-3qhGaBCRgP8TGBIFBSgAdLjrrd7Fc%2BhDlNDXn9PmBNhjqTi8Tc7nAKIgABZ4Pq5JSbElk2EfAHU-y0kC47H4u7cSj9TkgblQmFvflgLwYxLJT5eIVguli-AANzgwSyGTgfQefQoVxGEJAoAAckoAEpwA3BOBXay8ewwEAAIgZ4CBID6bgABgBmHnuCO%2B8T6w3SY2eM1rJmsvDWkC2kAOkDO10RD0m71%2BgOA0TBsMANn8MurUersfjRpNKcekoouEz2dz%2BYT7s9CFipYJqNlFZDoYAnLWuaHlABGKOIJL-MMz2XzheiWOgNws4fDiD8BIYZC4AxnhLMigGkChBKuaT8fgAax9x9w%2BAgiH8DxA7DNBAbI%2Bsy8DSHcxTSDo9h3Is0AYPeCBwI4uhxi6CZJrwbZtt29pOhhbpFp4Jb%2BqObgghOYYLuG-jPPcBLEvKAaTjRUacKGC4ACzsZxXGxkAA
https://github.com/python/mypy/pull/19399#user-content-fnref-5-c84728485b12824d32aaa2d98c5d72af
Please reload this pagehttps://github.com/python/mypy/pull/19399
https://github.com/randolf-scholz
randolf-scholzhttps://github.com/randolf-scholz
Jul 8, 2025 https://github.com/python/mypy/pull/19399#pullrequestreview-2997339025
View reviewed changes https://github.com/python/mypy/pull/19399/files
mypy/checkexpr.pyhttps://github.com/python/mypy/pull/19399/files#diff-42eda644ce5003e33ea0766d7601fcfb4934ad106429abfe115954a1fccddd07
Please reload this pagehttps://github.com/python/mypy/pull/19399
https://github.com/randolf-scholz
randolf-scholzhttps://github.com/randolf-scholz
Jul 8, 2025 https://github.com/python/mypy/pull/19399#pullrequestreview-2997341628
View reviewed changes https://github.com/python/mypy/pull/19399/files
mypy/checkexpr.pyhttps://github.com/python/mypy/pull/19399/files#diff-42eda644ce5003e33ea0766d7601fcfb4934ad106429abfe115954a1fccddd07
randolf-scholzhttps://github.com/randolf-scholz
Jul 8, 2025https://github.com/python/mypy/pull/19399#discussion_r2192324907
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/python/mypy/pull/19399
https://github.com/randolf-scholz
randolf-scholzhttps://github.com/randolf-scholz
Jul 8, 2025 https://github.com/python/mypy/pull/19399#ref-issue-3212735172
[CI]: mypy-primer(0) timeout due to long checking of colour #19403 https://github.com/python/mypy/issues/19403
https://github.com/randolf-scholz
randolf-scholzhttps://github.com/randolf-scholz
Jul 9, 2025 https://github.com/python/mypy/pull/19399#pullrequestreview-3001146447
View reviewed changes https://github.com/python/mypy/pull/19399/files
mypy/checkexpr.pyhttps://github.com/python/mypy/pull/19399/files#diff-42eda644ce5003e33ea0766d7601fcfb4934ad106429abfe115954a1fccddd07
randolf-scholzhttps://github.com/randolf-scholz
Jul 9, 2025https://github.com/python/mypy/pull/19399#discussion_r2194766389
Please reload this pagehttps://github.com/python/mypy/pull/19399
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
testLiteralMappingContexthttps://github.com/python/mypy/pull/19399/commits/76f357154c0d0f6b6e6fb649b8da2aba5e3eac2a
Please reload this pagehttps://github.com/python/mypy/pull/19399
https://github.com/randolf-scholz
randolf-scholzhttps://github.com/randolf-scholz
Jul 9, 2025 https://github.com/python/mypy/pull/19399#ref-issue-3215803905
Unsupported operand types for + ("list[None]" and "list[str]") #19413 https://github.com/python/mypy/issues/19413
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F19399
https://github.com/randolf-scholz
randolf-scholzhttps://github.com/randolf-scholz
Jul 9, 2025https://github.com/python/mypy/pull/19399#issuecomment-3053458612
Please reload this pagehttps://github.com/python/mypy/pull/19399
randolf-scholzhttps://github.com/randolf-scholz
July 23, 2025 10:19https://github.com/python/mypy/pull/19399#commits-pushed-174e1d3
https://github.com/randolf-scholz
inital commithttps://github.com/python/mypy/pull/19399/commits/174e1d3fc2cfa35e62f7bdef41eb5a6adfc7ef05
174e1d3https://github.com/python/mypy/pull/19399/commits/174e1d3fc2cfa35e62f7bdef41eb5a6adfc7ef05
https://github.com/randolf-scholz
11 failures remainhttps://github.com/python/mypy/pull/19399/commits/d753d38927aca936d3d84f6000ba56a0ead5a640
d753d38https://github.com/python/mypy/pull/19399/commits/d753d38927aca936d3d84f6000ba56a0ead5a640
https://github.com/randolf-scholz
3 test remainhttps://github.com/python/mypy/pull/19399/commits/29d5d49b8f5e914bd56e902351b2aa57d2148a37
29d5d49https://github.com/python/mypy/pull/19399/commits/29d5d49b8f5e914bd56e902351b2aa57d2148a37
https://github.com/randolf-scholz
1 check remaininghttps://github.com/python/mypy/pull/19399/commits/43eaa3f5f3906cb9816aa15f8190d59cb566e7e9
43eaa3fhttps://github.com/python/mypy/pull/19399/commits/43eaa3f5f3906cb9816aa15f8190d59cb566e7e9
https://github.com/randolf-scholz
checks passhttps://github.com/python/mypy/pull/19399/commits/cfba9a1a69f3fba4a6ad9b12b83bc241cb27aece
cfba9a1https://github.com/python/mypy/pull/19399/commits/cfba9a1a69f3fba4a6ad9b12b83bc241cb27aece
https://github.com/randolf-scholz
some simplificationshttps://github.com/python/mypy/pull/19399/commits/c7f73a832ed5139c8c5142a197125457f88a7d58
c7f73a8https://github.com/python/mypy/pull/19399/commits/c7f73a832ed5139c8c5142a197125457f88a7d58
https://github.com/randolf-scholz
revert fixture modificationhttps://github.com/python/mypy/pull/19399/commits/fc42098fd1aa5b2bc7deeb7f3501f94688dc7496
fc42098https://github.com/python/mypy/pull/19399/commits/fc42098fd1aa5b2bc7deeb7f3501f94688dc7496
https://github.com/randolf-scholz
simplifyhttps://github.com/python/mypy/pull/19399/commits/a4644080869523ed6c67b8477fed12dcfac7b5ca
a464408https://github.com/python/mypy/pull/19399/commits/a4644080869523ed6c67b8477fed12dcfac7b5ca
https://github.com/randolf-scholz
Simplified away early inner_solution computationhttps://github.com/python/mypy/pull/19399/commits/af7a9628134a9dc81a599e61da8de64ed6ae0bd0
af7a962https://github.com/python/mypy/pull/19399/commits/af7a9628134a9dc81a599e61da8de64ed6ae0bd0
https://github.com/randolf-scholz
added testLiteralMappingContexthttps://github.com/python/mypy/pull/19399/commits/869a980e3ba4a225325c185cebdfd6efed2cd513
869a980https://github.com/python/mypy/pull/19399/commits/869a980e3ba4a225325c185cebdfd6efed2cd513
https://github.com/randolf-scholz
replace one hack with anotherhttps://github.com/python/mypy/pull/19399/commits/20de89fb1d0382806be9f733826e39a3ed4d3765
20de89fhttps://github.com/python/mypy/pull/19399/commits/20de89fb1d0382806be9f733826e39a3ed4d3765
https://github.com/randolf-scholz
fixed use get_proper_type before isinstance checkhttps://github.com/python/mypy/pull/19399/commits/9ae652e2915daefa9835c6187cc4b7ad87500f3b
9ae652ehttps://github.com/python/mypy/pull/19399/commits/9ae652e2915daefa9835c6187cc4b7ad87500f3b
https://github.com/randolf-scholz
added testContextFreeConcatInvariantType and testInContextConcatInvar…https://github.com/python/mypy/pull/19399/commits/24d8c7b9309c71f8c63178248012b775ea289c1a
24d8c7bhttps://github.com/python/mypy/pull/19399/commits/24d8c7b9309c71f8c63178248012b775ea289c1a
https://github.com/randolf-scholz
Added test "testTypedDictWideContext".https://github.com/python/mypy/pull/19399/commits/66f6e7bade5fed56e9bfcebfb8286b538a8bdc08
66f6e7bhttps://github.com/python/mypy/pull/19399/commits/66f6e7bade5fed56e9bfcebfb8286b538a8bdc08
https://github.com/randolf-scholz
updated testBinaryOperatorContexthttps://github.com/python/mypy/pull/19399/commits/1db896c57f58005bc60a162fb3a66a6f0f6c890d
1db896chttps://github.com/python/mypy/pull/19399/commits/1db896c57f58005bc60a162fb3a66a6f0f6c890d
https://github.com/randolf-scholz
rebased masterhttps://github.com/python/mypy/pull/19399/commits/451e5cda91ddea06bdee6c446745d4b0db886421
451e5cdhttps://github.com/python/mypy/pull/19399/commits/451e5cda91ddea06bdee6c446745d4b0db886421
https://github.com/randolf-scholz
ignore joint when no inner constraintshttps://github.com/python/mypy/pull/19399/commits/2e62e5fcf9c63d69213545fdb13a9633350aa667
2e62e5fhttps://github.com/python/mypy/pull/19399/commits/2e62e5fcf9c63d69213545fdb13a9633350aa667
https://github.com/randolf-scholz
fix TypedDict with wide context bughttps://github.com/python/mypy/pull/19399/commits/ba9aa636724efc2d695e941d607aaa19d00bda53
ba9aa63https://github.com/python/mypy/pull/19399/commits/ba9aa636724efc2d695e941d607aaa19d00bda53
https://github.com/randolf-scholz
randolf-scholzhttps://github.com/randolf-scholz
force-pushedhttps://github.com/python/mypy/compare/3e40ab74db96b480fba4eda5079c55240f97c983..ba9aa636724efc2d695e941d607aaa19d00bda53
3e40ab7https://github.com/python/mypy/commit/3e40ab74db96b480fba4eda5079c55240f97c983
ba9aa63https://github.com/python/mypy/commit/ba9aa636724efc2d695e941d607aaa19d00bda53
Compare https://github.com/python/mypy/compare/3e40ab74db96b480fba4eda5079c55240f97c983..ba9aa636724efc2d695e941d607aaa19d00bda53
July 24, 2025 14:09https://github.com/python/mypy/pull/19399#event-18796270439
https://github.com/apps/github-actions
github-actionshttps://github.com/apps/github-actions
Jul 24, 2025https://github.com/python/mypy/pull/19399#issuecomment-3113838124
mypy_primerhttps://github.com/hauntsaninja/mypy_primer
Please reload this pagehttps://github.com/python/mypy/pull/19399
https://github.com/randolf-scholz
randolf-scholzhttps://github.com/randolf-scholz
Aug 1, 2025 https://github.com/python/mypy/pull/19399#ref-issue-3283298229
meet_types gives unexpected results when meeting literal and Instance #19560 https://github.com/python/mypy/issues/19560
https://github.com/randolf-scholz
randolf-scholzhttps://github.com/randolf-scholz
Jan 16, 2026 https://github.com/python/mypy/pull/19399#ref-issue-3809565816
Misleading error message with dict.get like method. (polymorphic function with conflicting context) #20576 https://github.com/python/mypy/issues/20576
https://github.co/hiddenchars
https://github.com/python/mypy/pull/{{ revealButtonHref }}
Sign up for freehttps://github.com/join?source=comment-repo
Sign in to commenthttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F19399
Spurious error when adding two list https://github.com/python/mypy/issues/15087
Unexpected "incompatible type" error when chaining bytes(filter()) https://github.com/python/mypy/issues/12247
Covariant generic type context results in confusing message with __add__ https://github.com/python/mypy/issues/5971
Mypy is still too eager about outer context https://github.com/python/mypy/issues/5874
Unsupported operand types for + (List[A] and List[B]) when B extends A https://github.com/python/mypy/issues/3933
attribute failure when unpacking from tuple and wait_for https://github.com/python/mypy/issues/15569
Generic matching error when tuple-unpacking result https://github.com/python/mypy/issues/16310
Assigning to intermediate variable changes type checking results https://github.com/python/mypy/issues/19304
Unsupported operand types for + ("list[None]" and "list[str]") https://github.com/python/mypy/issues/19413
Please reload this pagehttps://github.com/python/mypy/pull/19399
https://github.com/randolf-scholz
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width


URLs of crawlers that visited me.