René's URL Explorer Experiment


Title: Sync typeshed by ilevkivskyi · Pull Request #5873 · python/mypy · GitHub

Open Graph Title: Sync typeshed by ilevkivskyi · Pull Request #5873 · python/mypy

X Title: Sync typeshed by ilevkivskyi · Pull Request #5873 · python/mypy

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

Open Graph Description: Fixes #5492 As discussed in the issue, this will not fix the problem in general, but the general solution may be hard (requires lower bounds and allowing bounds depend on other type variables).

X Description: Fixes #5492 As discussed in the issue, this will not fix the problem in general, but the general solution may be hard (requires lower bounds and allowing bounds depend on other type variables).

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

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:acc31ee3-edf0-2e12-bbba-83875990792b
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id9680:17C675:636F6B:8D34F6:6A6374EF
html-safe-nonce2e301c87349bbad36ebf2be1e35f1f9112e26474297bfc8b65604874a67fa606
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5NjgwOjE3QzY3NTo2MzZGNkI6OEQzNEY2OjZBNjM3NEVGIiwidmlzaXRvcl9pZCI6IjMzMzM5NTI0MTM3OTYzNjU1NTEiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmacc711287b17d743eb59be08d3f398aa17aebdee907ad8673d3402554b6f60b8ef
hovercard-subject-tagpull_request:229391002
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/5873/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/bb0a50a313b42468b68fb2156121a3bb8820f67036e92184d490dfdc8f4d2172/python/mypy/pull/5873
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/bb0a50a313b42468b68fb2156121a3bb8820f67036e92184d490dfdc8f4d2172/python/mypy/pull/5873
og:image:altFixes #5492 As discussed in the issue, this will not fix the problem in general, but the general solution may be hard (requires lower bounds and allowing bounds depend on other type variables).
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernameilevkivskyi
hostnamegithub.com
expected-hostnamegithub.com
None15e78334bb345f3864e70c5a376ed0383374123629b9e3022398d9431f6cd8bf
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
release51da2d8d0a841a1393b806a6559fa9ad757e1666
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/python/mypy/pull/5873#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F5873
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%2F5873
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/5873
Reloadhttps://github.com/python/mypy/pull/5873
Reloadhttps://github.com/python/mypy/pull/5873
Please reload this pagehttps://github.com/python/mypy/pull/5873
python https://github.com/python
mypyhttps://github.com/python/mypy
Please reload this pagehttps://github.com/python/mypy/pull/5873
Notifications https://github.com/login?return_to=%2Fpython%2Fmypy
Fork 3.3k https://github.com/login?return_to=%2Fpython%2Fmypy
Star 20.6k 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
ilevkivskyihttps://github.com/ilevkivskyi
python:masterhttps://github.com/python/mypy/tree/master
ilevkivskyi:sync-typeshedhttps://github.com/ilevkivskyi/mypy/tree/sync-typeshed
Conversationhttps://github.com/python/mypy/pull/5873
Commits1 (1)https://github.com/python/mypy/pull/5873/commits
Checkshttps://github.com/python/mypy/pull/5873/checks
Files changedhttps://github.com/python/mypy/pull/5873/files
Sync typeshedhttps://github.com/python/mypy/pull/5873#top
ilevkivskyihttps://github.com/ilevkivskyi
python:masterhttps://github.com/python/mypy/tree/master
ilevkivskyi:sync-typeshedhttps://github.com/ilevkivskyi/mypy/tree/sync-typeshed
https://github.com/ilevkivskyi
ilevkivskyihttps://github.com/ilevkivskyi
Nov 8, 2018https://github.com/python/mypy/pull/5873#issue-378765366
Please reload this pagehttps://github.com/python/mypy/pull/5873
#5492https://github.com/python/mypy/issues/5492
Please reload this pagehttps://github.com/python/mypy/pull/5873
Sync typeshedhttps://github.com/python/mypy/pull/5873/commits/e2c27336789fb4d6a48f702650076218a0ea5fbf
e2c2733https://github.com/python/mypy/pull/5873/commits/e2c27336789fb4d6a48f702650076218a0ea5fbf
https://github.com/ilevkivskyi
ilevkivskyihttps://github.com/ilevkivskyi
Nov 8, 2018 https://github.com/python/mypy/pull/5873#ref-issue-378797217
Mypy is still too eager about outer context #5874 https://github.com/python/mypy/issues/5874
https://github.com/ilevkivskyi
ilevkivskyihttps://github.com/ilevkivskyi
Nov 8, 2018https://github.com/python/mypy/pull/5873#issuecomment-437049132
#5874https://github.com/python/mypy/issues/5874
python/typeshed#2404https://github.com/python/typeshed/pull/2404
Please reload this pagehttps://github.com/python/mypy/pull/5873
https://github.com/ilevkivskyi
ilevkivskyihttps://github.com/ilevkivskyi
Nov 24, 2018 https://github.com/python/mypy/pull/5873#ref-issue-384015424
Combination of collections where element types are compatible only works left-to-right #5948 https://github.com/python/mypy/issues/5948
https://github.com/JukkaL
JukkaLhttps://github.com/JukkaL
Nov 29, 2018https://github.com/python/mypy/pull/5873#issuecomment-442981590
python/typeshed#2404https://github.com/python/typeshed/pull/2404
#5492https://github.com/python/mypy/issues/5492
Please reload this pagehttps://github.com/python/mypy/pull/5873
https://github.com/ilevkivskyi
ilevkivskyihttps://github.com/ilevkivskyi
Nov 29, 2018https://github.com/python/mypy/pull/5873#issuecomment-442982092
Please reload this pagehttps://github.com/python/mypy/pull/5873
https://github.com/ilevkivskyi
ilevkivskyihttps://github.com/ilevkivskyi
Nov 29, 2018https://github.com/python/mypy/pull/5873#event-1996329010
https://github.com/ilevkivskyi
ilevkivskyihttps://github.com/ilevkivskyi
November 29, 2018 20:30https://github.com/python/mypy/pull/5873#event-1996329233
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%2F5873
List concatenation problems with type context and different operand item types https://github.com/python/mypy/issues/5492
Please reload this pagehttps://github.com/python/mypy/pull/5873
https://github.com/ilevkivskyi
https://github.com/JukkaL
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.