René's URL Explorer Experiment


Title: Improve reachability in narrowing logic by hauntsaninja · Pull Request #20660 · python/mypy · GitHub

Open Graph Title: Improve reachability in narrowing logic by hauntsaninja · Pull Request #20660 · python/mypy

X Title: Improve reachability in narrowing logic by hauntsaninja · Pull Request #20660 · python/mypy

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

Open Graph Description: Improves #17372 Fixes #17045 Improves #14965 Fixes this comment #9003 (comment)

X Description: Improves #17372 Fixes #17045 Improves #14965 Fixes this comment #9003 (comment)

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

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/*id(.:format)
route-controllerpull_requests
route-actionshow
fetch-noncev2:c45639d7-22c0-f37a-1a2d-01758bc9b02d
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id9D0A:CD7EA:7A2868:B1DA4A:6A589740
html-safe-nonce44c98112886ea6042cd5b52f5f918619a6e07147c803a6faf308fd135143172f
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5RDBBOkNEN0VBOjdBMjg2ODpCMURBNEE6NkE1ODk3NDAiLCJ2aXNpdG9yX2lkIjoiNzQ4MjMzMDU5OTA4MjQ2NTA4OCIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmaccc02a51a7317e89c3c71b7832256f38a01579e5b9e1d2dcfdbbbe9e8b08dff0c
hovercard-subject-tagpull_request:3216730110
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///pull_requests/show
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/python/mypy/pull/20660
twitter:imagehttps://opengraph.githubassets.com/8d5524fff93cb79a6ba042e34fd3558c0409171bb8a74f0dd58ff256edd58b3f/python/mypy/pull/20660
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/8d5524fff93cb79a6ba042e34fd3558c0409171bb8a74f0dd58ff256edd58b3f/python/mypy/pull/20660
og:image:altImproves #17372 Fixes #17045 Improves #14965 Fixes this comment #9003 (comment)
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamehauntsaninja
hostnamegithub.com
expected-hostnamegithub.com
None5f2a0c7865178af3d91dd9f13b0cdfc3c73a2529c873d2780bb4c01271a57ec6
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
release8aae7b8d6caacacf5c66eaeb2702d8dc88d85b4a
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/python/mypy/pull/20660#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
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
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%2F20660
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%2Fpull_requests%2Fshow&source=header-repo&source_repo=python%2Fmypy
Reloadhttps://github.com/python/mypy/pull/20660
Reloadhttps://github.com/python/mypy/pull/20660
Reloadhttps://github.com/python/mypy/pull/20660
Please reload this pagehttps://github.com/python/mypy/pull/20660
python https://github.com/python
mypyhttps://github.com/python/mypy
Please reload this pagehttps://github.com/python/mypy/pull/20660
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 465 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
hauntsaninjahttps://github.com/hauntsaninja
python:masterhttps://github.com/python/mypy/tree/master
hauntsaninja:narrow37https://github.com/hauntsaninja/mypy/tree/narrow37
Conversationhttps://github.com/python/mypy/pull/20660
Commits4 (4)https://github.com/python/mypy/pull/20660/commits
Checkshttps://github.com/python/mypy/pull/20660/checks
Files changedhttps://github.com/python/mypy/pull/20660/files
Improve reachability in narrowing logichttps://github.com/python/mypy/pull/20660#top
hauntsaninjahttps://github.com/hauntsaninja
python:masterhttps://github.com/python/mypy/tree/master
hauntsaninja:narrow37https://github.com/hauntsaninja/mypy/tree/narrow37
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 28, 2026https://github.com/python/mypy/pull/20660#issue-3863030061
Please reload this pagehttps://github.com/python/mypy/pull/20660
#17372https://github.com/python/mypy/issues/17372
#17045https://github.com/python/mypy/issues/17045
#14965https://github.com/python/mypy/issues/14965
#9003 (comment)https://github.com/python/mypy/issues/9003#issuecomment-778349487
Please reload this pagehttps://github.com/python/mypy/pull/20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 28, 2026 https://github.com/python/mypy/pull/20660#ref-issue-3802163929
Better narrowing #20564 https://github.com/python/mypy/issues/20564
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 28, 2026 https://github.com/python/mypy/pull/20660#pullrequestreview-3714108595
View reviewed changes https://github.com/python/mypy/pull/20660/files
mypy/typeshed/stubs/mypy-extensions/mypy_extensions.pyihttps://github.com/python/mypy/pull/20660/files#diff-f6c22097e71791c8396744d37587cb8d5516269b8f35aab896c46c93b5dc542b
hauntsaninjahttps://github.com/hauntsaninja
Jan 28, 2026https://github.com/python/mypy/pull/20660#discussion_r2734397353
Please reload this pagehttps://github.com/python/mypy/pull/20660
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
mypy/mypy/build.pyhttps://github.com/python/mypy/blob/d4756593cfc8c55413052c598d043ff532c9a15f/mypy/build.py#L1627
d475659https://github.com/python/mypy/commit/d4756593cfc8c55413052c598d043ff532c9a15f
Please reload this pagehttps://github.com/python/mypy/pull/20660
https://github.com/apps/github-actions
github-actionshttps://github.com/apps/github-actions
Jan 28, 2026 https://github.com/python/mypy/pull/20660#ref-issue-3863033314
Check #20660 sterliakov/mypy-issues#250 https://github.com/sterliakov/mypy-issues/issues/250
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 28, 2026https://github.com/python/mypy/pull/20660#issuecomment-3808360388
Please reload this pagehttps://github.com/python/mypy/pull/20660
@p-sawickihttps://github.com/p-sawicki
https://github.com/python/mypy/actions/runs/21421020108/job/61680277800?pr=20660https://github.com/python/mypy/actions/runs/21421020108/job/61680277800?pr=20660
Please reload this pagehttps://github.com/python/mypy/pull/20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 28, 2026 https://github.com/python/mypy/pull/20660#ref-issue-2349912658
Match exhaustion fails incorrectly when matching same option twice. #17372 https://github.com/python/mypy/issues/17372
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 28, 2026 https://github.com/python/mypy/pull/20660#ref-issue-1641585799
Non-overlapping equality not detected inside of pattern matching case statements. #14965 https://github.com/python/mypy/issues/14965
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 28, 2026https://github.com/python/mypy/pull/20660#event-22332461260
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
January 28, 2026 01:32https://github.com/python/mypy/pull/20660#event-22332614306
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 28, 2026https://github.com/python/mypy/pull/20660#issuecomment-3808491257
Please reload this pagehttps://github.com/python/mypy/pull/20660
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
https://github.com/apps/github-actions
github-actionshttps://github.com/apps/github-actions
Jan 28, 2026 https://github.com/python/mypy/pull/20660#ref-issue-3863211775
Check #20660 sterliakov/mypy-issues#251 https://github.com/sterliakov/mypy-issues/issues/251
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
force-pushedhttps://github.com/python/mypy/compare/4849aaf7bb5c28bb51e76d609d3aca3c32dbb67e..35a3b2dae659a9d36f7337dfb1fc2840423fce27
4849aafhttps://github.com/python/mypy/commit/4849aaf7bb5c28bb51e76d609d3aca3c32dbb67e
35a3b2dhttps://github.com/python/mypy/commit/35a3b2dae659a9d36f7337dfb1fc2840423fce27
Compare https://github.com/python/mypy/compare/4849aaf7bb5c28bb51e76d609d3aca3c32dbb67e..35a3b2dae659a9d36f7337dfb1fc2840423fce27
January 28, 2026 03:28https://github.com/python/mypy/pull/20660#event-22334060779
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 28, 2026https://github.com/python/mypy/pull/20660#event-22336690229
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
https://github.com/p-sawicki
p-sawickihttps://github.com/p-sawicki
Jan 28, 2026https://github.com/python/mypy/pull/20660#issuecomment-3812472887
@p-sawickihttps://github.com/p-sawicki
https://github.com/python/mypy/actions/runs/21421020108/job/61680277800?pr=20660https://github.com/python/mypy/actions/runs/21421020108/job/61680277800?pr=20660
Please reload this pagehttps://github.com/python/mypy/pull/20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
force-pushedhttps://github.com/python/mypy/compare/09a0db0802ebea0c70e9a0c51cd0785d87d95ebb..e9c1274e6976c402eefec1cb2b495f56eea49e95
09a0db0https://github.com/python/mypy/commit/09a0db0802ebea0c70e9a0c51cd0785d87d95ebb
e9c1274https://github.com/python/mypy/commit/e9c1274e6976c402eefec1cb2b495f56eea49e95
Compare https://github.com/python/mypy/compare/09a0db0802ebea0c70e9a0c51cd0785d87d95ebb..e9c1274e6976c402eefec1cb2b495f56eea49e95
January 28, 2026 22:57https://github.com/python/mypy/pull/20660#event-22360117728
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 28, 2026 https://github.com/python/mypy/pull/20660#ref-pullrequest-3867848501
Preserve some lost narrowing, cleanup #20674 https://github.com/python/mypy/pull/20674
hauntsaninjahttps://github.com/hauntsaninja
Jan 29, 2026 https://github.com/python/mypy/pull/20660#ref-commit-4b14528
https://github.com/hauntsaninja
Preserve some lost narrowing, cleanup (https://github.com/python/mypy/commit/4b14528aba46ac5a94d4beb0c4ea6dce10d37acf
#20674https://github.com/python/mypy/pull/20674
)https://github.com/python/mypy/commit/4b14528aba46ac5a94d4beb0c4ea6dce10d37acf
4b14528https://github.com/python/mypy/commit/4b14528aba46ac5a94d4beb0c4ea6dce10d37acf
#20660https://github.com/python/mypy/pull/20660
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 29, 2026 https://github.com/python/mypy/pull/20660#ref-issue-3871730447
Expression x == y in z crashes mypy #20686 https://github.com/python/mypy/issues/20686
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 29, 2026https://github.com/python/mypy/pull/20660#issuecomment-3820771940
Please reload this pagehttps://github.com/python/mypy/pull/20660
@p-sawickihttps://github.com/p-sawicki
Please reload this pagehttps://github.com/python/mypy/pull/20660
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 30, 2026 https://github.com/python/mypy/pull/20660#ref-pullrequest-3877845526
Short term fix for bytes narrowing #20704 https://github.com/python/mypy/pull/20704
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 30, 2026https://github.com/python/mypy/pull/20660#issuecomment-3826480664
#18707https://github.com/python/mypy/pull/18707
Please reload this pagehttps://github.com/python/mypy/pull/20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Jan 31, 2026 https://github.com/python/mypy/pull/20660#ref-pullrequest-3878160634
More testing related improvements and updates #20709 https://github.com/python/mypy/pull/20709
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Feb 1, 2026 https://github.com/python/mypy/pull/20660#ref-pullrequest-3881310202
jsonschema: fix type of validator on errors python/typeshed#15353 https://github.com/python/typeshed/pull/15353
JukkaLhttps://github.com/JukkaL
Feb 2, 2026 https://github.com/python/mypy/pull/20660#ref-commit-ec4c463
https://github.com/hauntsaninja
Short term fix for bytes narrowing (https://github.com/python/mypy/commit/ec4c463861fd8683f85fa0c34929e8fca499530f
#20704https://github.com/python/mypy/pull/20704
)https://github.com/python/mypy/commit/ec4c463861fd8683f85fa0c34929e8fca499530f
ec4c463https://github.com/python/mypy/commit/ec4c463861fd8683f85fa0c34929e8fca499530f
#20701https://github.com/python/mypy/issues/20701
#20492https://github.com/python/mypy/pull/20492
#20643https://github.com/python/mypy/pull/20643
#20673https://github.com/python/mypy/pull/20673
#20492https://github.com/python/mypy/pull/20492
#20660https://github.com/python/mypy/pull/20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Feb 2, 2026 https://github.com/python/mypy/pull/20660#ref-pullrequest-3878369438
Preserve narrowing in unreachable code #20710 https://github.com/python/mypy/pull/20710
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Feb 3, 2026https://github.com/python/mypy/pull/20660#event-22479642611
hauntsaninjahttps://github.com/hauntsaninja
Feb 3, 2026 https://github.com/python/mypy/pull/20660#ref-commit-e8af2ac
https://github.com/hauntsaninja
More testing related improvements and updates (https://github.com/python/mypy/commit/e8af2ace031f55f2223f523e32f3bcddea741c70
#20709https://github.com/python/mypy/pull/20709
)https://github.com/python/mypy/commit/e8af2ace031f55f2223f523e32f3bcddea741c70
e8af2achttps://github.com/python/mypy/commit/e8af2ace031f55f2223f523e32f3bcddea741c70
#20707https://github.com/python/mypy/pull/20707
#20660https://github.com/python/mypy/pull/20660
hauntsaninjahttps://github.com/hauntsaninja
Feb 3, 2026 https://github.com/python/mypy/pull/20660#ref-commit-04919a2
https://github.com/hauntsaninja
Improve narrowing with numeric typeshttps://github.com/hauntsaninja/mypy/commit/04919a2c2268df6ddfda1004fbe3d68f5d923c62
04919a2https://github.com/hauntsaninja/mypy/commit/04919a2c2268df6ddfda1004fbe3d68f5d923c62
python#20709https://github.com/python/mypy/pull/20709
python#20660https://github.com/python/mypy/pull/20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Feb 3, 2026 https://github.com/python/mypy/pull/20660#ref-pullrequest-3889382138
Improve narrowing with numeric types #20727 https://github.com/python/mypy/pull/20727
hauntsaninjahttps://github.com/hauntsaninja
Feb 3, 2026 https://github.com/python/mypy/pull/20660#ref-commit-8dca9a2
https://github.com/hauntsaninja
Improve narrowing with numeric typeshttps://github.com/hauntsaninja/mypy/commit/8dca9a205dc53197ca3da06ac46ef3b60dbd9327
8dca9a2https://github.com/hauntsaninja/mypy/commit/8dca9a205dc53197ca3da06ac46ef3b60dbd9327
python#20709https://github.com/python/mypy/pull/20709
python#20660https://github.com/python/mypy/pull/20660
hauntsaninjahttps://github.com/hauntsaninja
Feb 6, 2026 https://github.com/python/mypy/pull/20660#ref-commit-4ac3457
https://github.com/hauntsaninja
Improve narrowing with numeric typeshttps://github.com/hauntsaninja/mypy/commit/4ac345732f550e5ae443119b82149cfe9c93345b
4ac3457https://github.com/hauntsaninja/mypy/commit/4ac345732f550e5ae443119b82149cfe9c93345b
python#20709https://github.com/python/mypy/pull/20709
python#20660https://github.com/python/mypy/pull/20660
hauntsaninjahttps://github.com/hauntsaninja
Feb 7, 2026 https://github.com/python/mypy/pull/20660#ref-commit-655a8a2
https://github.com/hauntsaninja
Improve narrowing with numeric types (https://github.com/python/mypy/commit/655a8a2e41b435e21101311a943abc71c821491e
#20727https://github.com/python/mypy/pull/20727
)https://github.com/python/mypy/commit/655a8a2e41b435e21101311a943abc71c821491e
655a8a2https://github.com/python/mypy/commit/655a8a2e41b435e21101311a943abc71c821491e
#20709https://github.com/python/mypy/pull/20709
#20660https://github.com/python/mypy/pull/20660
#20704https://github.com/python/mypy/pull/20704
https://github.com/hauntsaninja
.https://github.com/python/mypy/pull/20660/commits/0e307181ef0c4821eb399bda88d73056179a0e11
0e30718https://github.com/python/mypy/pull/20660/commits/0e307181ef0c4821eb399bda88d73056179a0e11
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
force-pushedhttps://github.com/python/mypy/compare/e2f5ad1c094fd4c6767e5e5bcf8c876895b10425..0e307181ef0c4821eb399bda88d73056179a0e11
e2f5ad1https://github.com/python/mypy/commit/e2f5ad1c094fd4c6767e5e5bcf8c876895b10425
0e30718https://github.com/python/mypy/commit/0e307181ef0c4821eb399bda88d73056179a0e11
Compare https://github.com/python/mypy/compare/e2f5ad1c094fd4c6767e5e5bcf8c876895b10425..0e307181ef0c4821eb399bda88d73056179a0e11
February 7, 2026 23:44https://github.com/python/mypy/pull/20660#event-22616624307
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
https://github.com/hauntsaninja
.https://github.com/python/mypy/pull/20660/commits/78309254893aadaccabc91381921c20e2ce897de
7830925https://github.com/python/mypy/pull/20660/commits/78309254893aadaccabc91381921c20e2ce897de
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Feb 23, 2026 https://github.com/python/mypy/pull/20660#ref-issue-3887960566
1.20 and 2.0 Release Planning #20726 https://github.com/python/mypy/issues/20726
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Feb 23, 2026https://github.com/python/mypy/pull/20660#event-22988161747
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Feb 23, 2026 https://github.com/python/mypy/pull/20660#ref-issue-3976536819
Inconsistent feeling handling of Any in binder #20870 https://github.com/python/mypy/issues/20870
https://github.com/hauntsaninja
Merge branch 'master' into narrow37https://github.com/python/mypy/pull/20660/commits/5a0661e8f03954f7ec70a544b66d1ecd4e0f09a0
5a0661ehttps://github.com/python/mypy/pull/20660/commits/5a0661e8f03954f7ec70a544b66d1ecd4e0f09a0
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
February 27, 2026 01:04https://github.com/python/mypy/pull/20660#event-23121509557
https://github.com/apps/github-actions
Sign in to viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpython%2Fmypy%2Fpull%2F20660
https://github.com/hauntsaninja
testshttps://github.com/python/mypy/pull/20660/commits/ca96ba24e09d341069ec0abdeeae5c8974755ae8
ca96ba2https://github.com/python/mypy/pull/20660/commits/ca96ba24e09d341069ec0abdeeae5c8974755ae8
https://github.com/apps/github-actions
github-actionshttps://github.com/apps/github-actions
Feb 27, 2026https://github.com/python/mypy/pull/20660#issuecomment-3971123493
mypy_primerhttps://github.com/hauntsaninja/mypy_primer
Please reload this pagehttps://github.com/python/mypy/pull/20660
https://github.com/ilevkivskyi
ilevkivskyihttps://github.com/ilevkivskyi
Feb 27, 2026 https://github.com/python/mypy/pull/20660#pullrequestreview-3869084618
View reviewed changes https://github.com/python/mypy/pull/20660/files/ca96ba24e09d341069ec0abdeeae5c8974755ae8
ilevkivskyihttps://github.com/ilevkivskyi
https://github.com/python/mypy/pull/20660#pullrequestreview-3869084618
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/python/mypy/pull/20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
ce7669ehttps://github.com/python/mypy/commit/ce7669e1fa28e00abdfeb363e08b199ef93e4c1b
Mar 4, 2026https://github.com/python/mypy/pull/20660#event-23252695286
Please reload this pagehttps://github.com/python/mypy/pull/20660
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
March 4, 2026 08:02https://github.com/python/mypy/pull/20660#event-23252695858
https://github.com/hauntsaninja
hauntsaninjahttps://github.com/hauntsaninja
Apr 1, 2026 https://github.com/python/mypy/pull/20660#ref-pullrequest-4189595479
Avoid narrowing to unreachable at module level #21144 https://github.com/python/mypy/pull/21144
hauntsaninjahttps://github.com/hauntsaninja
Apr 2, 2026 https://github.com/python/mypy/pull/20660#ref-commit-232697e
https://github.com/hauntsaninja
Avoid narrowing to unreachable at module level (https://github.com/python/mypy/commit/232697e1a9b80766187c620a42a802e3d334b8f4
#21144https://github.com/python/mypy/pull/21144
)https://github.com/python/mypy/commit/232697e1a9b80766187c620a42a802e3d334b8f4
232697ehttps://github.com/python/mypy/commit/232697e1a9b80766187c620a42a802e3d334b8f4
#21132https://github.com/python/mypy/issues/21132
#20660https://github.com/python/mypy/pull/20660
hauntsaninjahttps://github.com/hauntsaninja
Apr 5, 2026 https://github.com/python/mypy/pull/20660#ref-commit-eafcf18
https://github.com/hauntsaninja
Avoid narrowing to unreachable at module level (https://github.com/python/mypy/commit/eafcf18ff1d83923c0f749cf3056962df63ed693
#21144https://github.com/python/mypy/pull/21144
)https://github.com/python/mypy/commit/eafcf18ff1d83923c0f749cf3056962df63ed693
eafcf18https://github.com/python/mypy/commit/eafcf18ff1d83923c0f749cf3056962df63ed693
#21132https://github.com/python/mypy/issues/21132
#20660https://github.com/python/mypy/pull/20660
https://github.com/brianschubert
brianschuberthttps://github.com/brianschubert
Apr 28, 2026 https://github.com/python/mypy/pull/20660#ref-issue-4343049985
[1.20 regression] value pattern match statement narrowing broken for typevars with values #21356 https://github.com/python/mypy/issues/21356
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%2F20660
https://github.com/ilevkivskyi
ilevkivskyi https://github.com/ilevkivskyi
https://github.com/python/mypy/pull/20660/files/ca96ba24e09d341069ec0abdeeae5c8974755ae8
Incorrect "redundant cast" for linked TypeVar T and type[T] variables https://github.com/python/mypy/issues/17045
Please reload this pagehttps://github.com/python/mypy/pull/20660
https://github.com/hauntsaninja
https://github.com/p-sawicki
https://github.com/ilevkivskyi
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.