René's URL Explorer Experiment


Title: Assertions in control flow analysis by ahejlsberg · Pull Request #32695 · microsoft/TypeScript · GitHub

Open Graph Title: Assertions in control flow analysis by ahejlsberg · Pull Request #32695 · microsoft/TypeScript

X Title: Assertions in control flow analysis by ahejlsberg · Pull Request #32695 · microsoft/TypeScript

Description: With this PR we reflect the effects of calls to assert(...) functions and never-returning functions in control flow analysis. We also improve analysis of the effects of exhaustive switch statements...

Open Graph Description: With this PR we reflect the effects of calls to assert(...) functions and never-returning functions in control flow analysis. We also improve analysis of the effects of exhaustive switch statements...

X Description: With this PR we reflect the effects of calls to assert(...) functions and never-returning functions in control flow analysis. We also improve analysis of the effects of exhaustive switch statements...

Opengraph URL: https://github.com/microsoft/TypeScript/pull/32695

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:7eac0afa-61c8-16f3-3804-9e2209b25642
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id8342:AAA27:2BE543B:3C4FFE0:6964E19F
html-safe-nonce1c7cd9c7571bd44bf4a7cbe2f63b422ab1e4765423fb1773b137cccc36983bcf
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4MzQyOkFBQTI3OjJCRTU0M0I6M0M0RkZFMDo2OTY0RTE5RiIsInZpc2l0b3JfaWQiOiI4NTA1NDQ4MjUzNDMzODk3Mzc1IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac65bd7a3274c28ae9568511cfe1f14b5dee070eb455c1a90b915159d1719ae7df
hovercard-subject-tagpull_request:304007330
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/microsoft/TypeScript/32695/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/adc829b6ad7e91bac86202700f98ff783854b6b59798b8473305df2221d55667/microsoft/TypeScript/pull/32695
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/adc829b6ad7e91bac86202700f98ff783854b6b59798b8473305df2221d55667/microsoft/TypeScript/pull/32695
og:image:altWith this PR we reflect the effects of calls to assert(...) functions and never-returning functions in control flow analysis. We also improve analysis of the effects of exhaustive switch statements...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernameahejlsberg
hostnamegithub.com
expected-hostnamegithub.com
None5838582163a1256e5ebd5086b7e1dc5cea93d82086c9c8b1395fb50f6ddab28d
turbo-cache-controlno-preview
go-importgithub.com/microsoft/TypeScript git https://github.com/microsoft/TypeScript.git
octolytics-dimension-user_id6154722
octolytics-dimension-user_loginmicrosoft
octolytics-dimension-repository_id20929025
octolytics-dimension-repository_nwomicrosoft/TypeScript
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id20929025
octolytics-dimension-repository_network_root_nwomicrosoft/TypeScript
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
release8edad3509fd3b4374694551987974bbbcfd316c0
ui-targetcanary-2
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/microsoft/TypeScript/pull/32695#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fmicrosoft%2FTypeScript%2Fpull%2F32695
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
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
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
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/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%2Fmicrosoft%2FTypeScript%2Fpull%2F32695
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=microsoft%2FTypeScript
Reloadhttps://github.com/microsoft/TypeScript/pull/32695
Reloadhttps://github.com/microsoft/TypeScript/pull/32695
Reloadhttps://github.com/microsoft/TypeScript/pull/32695
microsoft https://github.com/microsoft
TypeScripthttps://github.com/microsoft/TypeScript
Notifications https://github.com/login?return_to=%2Fmicrosoft%2FTypeScript
Fork 13.2k https://github.com/login?return_to=%2Fmicrosoft%2FTypeScript
Star 107k https://github.com/login?return_to=%2Fmicrosoft%2FTypeScript
Code https://github.com/microsoft/TypeScript
Issues 5k https://github.com/microsoft/TypeScript/issues
Pull requests 496 https://github.com/microsoft/TypeScript/pulls
Actions https://github.com/microsoft/TypeScript/actions
Projects 1 https://github.com/microsoft/TypeScript/projects
Models https://github.com/microsoft/TypeScript/models
Wiki https://github.com/microsoft/TypeScript/wiki
Security Uh oh! There was an error while loading. Please reload this page. https://github.com/microsoft/TypeScript/security
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
Insights https://github.com/microsoft/TypeScript/pulse
Code https://github.com/microsoft/TypeScript
Issues https://github.com/microsoft/TypeScript/issues
Pull requests https://github.com/microsoft/TypeScript/pulls
Actions https://github.com/microsoft/TypeScript/actions
Projects https://github.com/microsoft/TypeScript/projects
Models https://github.com/microsoft/TypeScript/models
Wiki https://github.com/microsoft/TypeScript/wiki
Security https://github.com/microsoft/TypeScript/security
Insights https://github.com/microsoft/TypeScript/pulse
Sign up for GitHub https://github.com/signup?return_to=%2Fmicrosoft%2FTypeScript%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2Fmicrosoft%2FTypeScript%2Fissues%2Fnew%2Fchoose
Jump to bottomhttps://github.com/microsoft/TypeScript/pull/32695#issue-comment-box
ahejlsberghttps://github.com/ahejlsberg
masterhttps://github.com/microsoft/TypeScript/tree/master
assertionsInControlFlowhttps://github.com/microsoft/TypeScript/tree/assertionsInControlFlow
Assertions in control flow analysis https://github.com/microsoft/TypeScript/pull/32695#top
ahejlsberghttps://github.com/ahejlsberg
masterhttps://github.com/microsoft/TypeScript/tree/master
assertionsInControlFlowhttps://github.com/microsoft/TypeScript/tree/assertionsInControlFlow
Conversation 145 https://github.com/microsoft/TypeScript/pull/32695
Commits 44 https://github.com/microsoft/TypeScript/pull/32695/commits
Checks 0 https://github.com/microsoft/TypeScript/pull/32695/checks
Files changed https://github.com/microsoft/TypeScript/pull/32695/files
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.co/hiddenchars
https://github.com/microsoft/TypeScript/pull/{{ revealButtonHref }}
https://github.com/ahejlsberg
ahejlsberghttps://github.com/ahejlsberg
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#issue-476462173
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
#8655https://github.com/microsoft/TypeScript/issues/8655
#11572https://github.com/microsoft/TypeScript/issues/11572
#12668https://github.com/microsoft/TypeScript/issues/12668
#13241https://github.com/microsoft/TypeScript/issues/13241
#18362https://github.com/microsoft/TypeScript/issues/18362
#20409https://github.com/microsoft/TypeScript/issues/20409
#20823https://github.com/microsoft/TypeScript/issues/20823
#22470https://github.com/microsoft/TypeScript/issues/22470
#27909https://github.com/microsoft/TypeScript/issues/27909
#27388https://github.com/microsoft/TypeScript/issues/27388
#30000https://github.com/microsoft/TypeScript/issues/30000
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
ahejlsberghttps://github.com/ahejlsberg
July 31, 2019 16:30https://github.com/microsoft/TypeScript/pull/32695#commits-pushed-e89acb6
https://github.com/ahejlsberg
Reflect effects of assertion calls in control flow analysishttps://github.com/microsoft/TypeScript/pull/32695/commits/e89acb6358845b310753e132f5ae692c72d5bb6a
e89acb6https://github.com/microsoft/TypeScript/pull/32695/commits/e89acb6358845b310753e132f5ae692c72d5bb6a
https://github.com/ahejlsberg
Support 'asserts' type predicates in control flow analysishttps://github.com/microsoft/TypeScript/pull/32695/commits/77f2a412e15a3f3ac2a01d648a64e75670d47204
77f2a41https://github.com/microsoft/TypeScript/pull/32695/commits/77f2a412e15a3f3ac2a01d648a64e75670d47204
https://github.com/ahejlsberg
Remove unused codehttps://github.com/microsoft/TypeScript/pull/32695/commits/1f5bb970d987a7387a3531e1cea00f51b08fe20a
1f5bb97https://github.com/microsoft/TypeScript/pull/32695/commits/1f5bb970d987a7387a3531e1cea00f51b08fe20a
https://github.com/ahejlsberg
ahejlsberghttps://github.com/ahejlsberg
Aug 3, 2019 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-155398918
Control flow based type narrowing for assert(...) calls #8655 https://github.com/microsoft/TypeScript/issues/8655
https://github.com/acutmore
acutmorehttps://github.com/acutmore
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517934545
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/ahejlsberg
Accept new API baselineshttps://github.com/microsoft/TypeScript/pull/32695/commits/fe70a62ef1ef87d20a860c6bdea999cdfab76592
fe70a62https://github.com/microsoft/TypeScript/pull/32695/commits/fe70a62ef1ef87d20a860c6bdea999cdfab76592
https://github.com/ahejlsberg
ahejlsberghttps://github.com/ahejlsberg
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517935342
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/ahejlsberg
ahejlsberghttps://github.com/ahejlsberg
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517935710
@typescript-bothttps://github.com/typescript-bot
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/typescript-bot
typescript-bothttps://github.com/typescript-bot
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517935722
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
@ahejlsberghttps://github.com/ahejlsberg
fe70a62https://github.com/microsoft/TypeScript/commit/fe70a62ef1ef87d20a860c6bdea999cdfab76592
herehttps://typescript.visualstudio.com/cf7ac146-d525-443c-b23c-0d58337efebc/_build/results?buildId=38772
The results are in!https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517937715
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/dragomirtitian
dragomirtitianhttps://github.com/dragomirtitian
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517935765
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
@ahejlsberghttps://github.com/ahejlsberg
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/acutmore
acutmorehttps://github.com/acutmore
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517936073
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/ahejlsberg
ahejlsberghttps://github.com/ahejlsberg
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517937626
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/typescript-bot
typescript-bothttps://github.com/typescript-bot
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517937715
@ahejlsberghttps://github.com/ahejlsberg
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/ahejlsberg
ahejlsberghttps://github.com/ahejlsberg
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517938123
@dragomirtitianhttps://github.com/dragomirtitian
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/acutmore
acutmorehttps://github.com/acutmore
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517939408
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/felixfbecker
felixfbeckerhttps://github.com/felixfbecker
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517949567
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
#8655 (comment)https://github.com/microsoft/TypeScript/issues/8655#issuecomment-411070339
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/ajafff
ajafffhttps://github.com/ajafff
Aug 3, 2019 https://github.com/microsoft/TypeScript/pull/32695#pullrequestreview-270470205
View reviewed changes https://github.com/microsoft/TypeScript/pull/32695/files/fe70a62ef1ef87d20a860c6bdea999cdfab76592
ajafffhttps://github.com/ajafff
https://github.com/microsoft/TypeScript/pull/32695#pullrequestreview-270470205
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
src/compiler/binder.tshttps://github.com/microsoft/TypeScript/pull/32695/files/fe70a62ef1ef87d20a860c6bdea999cdfab76592#diff-9ad14a2e2e66533cd0c3f02ecf01f7e6bc9d60cdf2e125df2a14ce0713222898
ajafffhttps://github.com/ajafff
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#discussion_r310360576
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
ahejlsberghttps://github.com/ahejlsberg
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#discussion_r310363932
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
src/compiler/binder.tshttps://github.com/microsoft/TypeScript/pull/32695/files/fe70a62ef1ef87d20a860c6bdea999cdfab76592#diff-9ad14a2e2e66533cd0c3f02ecf01f7e6bc9d60cdf2e125df2a14ce0713222898
ajafffhttps://github.com/ajafff
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#discussion_r310360637
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
ahejlsberghttps://github.com/ahejlsberg
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#discussion_r310364014
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
src/compiler/parser.tshttps://github.com/microsoft/TypeScript/pull/32695/files/fe70a62ef1ef87d20a860c6bdea999cdfab76592#diff-12a6724be007eb1a19d80018c7a63bbc73525ca793a9b3e5da49a4e86bbf457c
ajafffhttps://github.com/ajafff
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#discussion_r310360751
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
ahejlsberghttps://github.com/ahejlsberg
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#discussion_r310364104
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
src/compiler/parser.tshttps://github.com/microsoft/TypeScript/pull/32695/files/fe70a62ef1ef87d20a860c6bdea999cdfab76592#diff-12a6724be007eb1a19d80018c7a63bbc73525ca793a9b3e5da49a4e86bbf457c
ajafffhttps://github.com/ajafff
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#discussion_r310360857
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
ahejlsberghttps://github.com/ahejlsberg
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#discussion_r310364110
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
src/compiler/parser.tshttps://github.com/microsoft/TypeScript/pull/32695/files/fe70a62ef1ef87d20a860c6bdea999cdfab76592#diff-12a6724be007eb1a19d80018c7a63bbc73525ca793a9b3e5da49a4e86bbf457c
ajafffhttps://github.com/ajafff
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#discussion_r310360892
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
ahejlsberghttps://github.com/ahejlsberg
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#discussion_r310364121
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
src/compiler/factory.tshttps://github.com/microsoft/TypeScript/pull/32695/files/fe70a62ef1ef87d20a860c6bdea999cdfab76592#diff-aa7be70e4da2f4c99dd3bdfeda6e99ea1e8270cf51643ab462aa8a640d8c5c3a
ajafffhttps://github.com/ajafff
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#discussion_r310361133
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
src/compiler/checker.tshttps://github.com/microsoft/TypeScript/pull/32695/files/fe70a62ef1ef87d20a860c6bdea999cdfab76592#diff-d9ab6589e714c71e657f601cf30ff51dfc607fc98419bf72e04f6b0fa92cc4b8
ajafffhttps://github.com/ajafff
Aug 3, 2019https://github.com/microsoft/TypeScript/pull/32695#discussion_r310361620
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/treybrisbane
treybrisbanehttps://github.com/treybrisbane
Aug 4, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517966530
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/j-f1
j-f1https://github.com/j-f1
Aug 4, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517967456
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/kitsonk
kitsonkhttps://github.com/kitsonk
Aug 4, 2019 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-476513972
assert and CFA denoland/deno#2715 https://github.com/denoland/deno/issues/2715
https://github.com/zen0wu
zen0wuhttps://github.com/zen0wu
Aug 4, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517978315
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/krzkaczor
krzkaczorhttps://github.com/krzkaczor
Aug 4, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-517984535
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
@ahejlsberghttps://github.com/ahejlsberg
Affine types / ownership system #16148https://github.com/microsoft/TypeScript/issues/16148
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/goodmind
goodmindhttps://github.com/goodmind
Aug 4, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-518007398
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/jack-williams
jack-williamshttps://github.com/jack-williams
Aug 4, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-518009011
@treybrisbanehttps://github.com/treybrisbane
@krzkaczorhttps://github.com/krzkaczor
@felixfbeckerhttps://github.com/felixfbecker
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/felixfbecker
felixfbeckerhttps://github.com/felixfbecker
Aug 4, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-518009682
@jack-williamshttps://github.com/jack-williams
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/goodmind
goodmindhttps://github.com/goodmind
Aug 4, 2019 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-49852696
Remove special case for invariant facebook/flow#112 https://github.com/facebook/flow/issues/112
https://github.com/alexreardon
alexreardonhttps://github.com/alexreardon
Aug 4, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-518043680
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
alexreardon/tiny-invariant#45https://github.com/alexreardon/tiny-invariant/issues/45
atlassian/react-beautiful-dnd#982https://github.com/atlassian/react-beautiful-dnd/issues/982
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/ahejlsberg
ahejlsberghttps://github.com/ahejlsberg
Aug 5, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-518101827
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
@felixfbeckerhttps://github.com/felixfbecker
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/ahejlsberg
Address code review feedbackhttps://github.com/microsoft/TypeScript/pull/32695/commits/1c55e5de69c581da19184c1b9bfa08c800d1bb7c
1c55e5dhttps://github.com/microsoft/TypeScript/pull/32695/commits/1c55e5de69c581da19184c1b9bfa08c800d1bb7c
https://github.com/ahejlsberg
ahejlsberghttps://github.com/ahejlsberg
Aug 5, 2019https://github.com/microsoft/TypeScript/pull/32695#issuecomment-518103729
@typescript-bothttps://github.com/typescript-bot
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Mar 26, 2023 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-1640945713
Calling a function that returns never, not always triggers an unreachable code error #53510 https://github.com/microsoft/TypeScript/issues/53510
https://github.com/tamuratak
tamuratakhttps://github.com/tamuratak
Apr 8, 2023 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-1659678982
Support assertion functions with assertion signatures, assertLength and others uhyo/ts-array-length#2 https://github.com/uhyo/ts-array-length/issues/2
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
May 16, 2023 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-1712335361
never type does not work as expected in the function of a class #54265 https://github.com/microsoft/TypeScript/issues/54265
https://github.com/mjfaga
mjfagahttps://github.com/mjfaga
Jul 10, 2023 https://github.com/microsoft/TypeScript/pull/32695#ref-pullrequest-1797401157
Reset polling on init prefab-cloud/prefab-cloud-js#21 https://github.com/prefab-cloud/prefab-cloud-js/pull/21
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Jul 30, 2023 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-1827961047
Yielding an assertion function call does not narrow the asserted type #55205 https://github.com/microsoft/TypeScript/issues/55205
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Aug 13, 2023 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-1848676928
Arrow function don't see never as a return type, while normal functions do #55351 https://github.com/microsoft/TypeScript/issues/55351
https://github.com/mqudsi
mqudsihttps://github.com/mqudsi
Sep 14, 2023 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-1897468173
Assigning assertion or never breaks nullability control flow analysis #55749 https://github.com/microsoft/TypeScript/issues/55749
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Oct 10, 2023 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-1934940701
Unreachable code is not detected for methods that return never #56049 https://github.com/microsoft/TypeScript/issues/56049
https://github.com/ssalbdivad
ssalbdivadhttps://github.com/ssalbdivad
Oct 18, 2023 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-1949804995
Unable to invoke an arrow function with an assertion predicate #56147 https://github.com/microsoft/TypeScript/issues/56147
https://github.com/ssalbdivad
ssalbdivadhttps://github.com/ssalbdivad
Nov 10, 2023 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-1987523399
never-returning branches should not be considered when determining whether a property is initialized in a constructor #56362 https://github.com/microsoft/TypeScript/issues/56362
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Dec 6, 2023 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2029033390
Returned assert functions need needlessly explicitly typed #56695 https://github.com/microsoft/TypeScript/issues/56695
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Dec 17, 2023 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2045116065
Control flow analysis broken for never returning class methods #56812 https://github.com/microsoft/TypeScript/issues/56812
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Jan 18, 2024 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2088701328
'Never': different behavior with and without function type declaration #57084 https://github.com/microsoft/TypeScript/issues/57084
https://github.com/MinSeungHyun
MinSeungHyunhttps://github.com/MinSeungHyun
Jan 30, 2024 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2107006097
TypeScript doesn't correctly narrow types and detect unreachable code after calling redirect() amannn/next-intl#823 https://github.com/amannn/next-intl/issues/823
https://github.com/danvk
danvkhttps://github.com/danvk
Feb 28, 2024 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-481858208
Circular reference misdetection #32950 https://github.com/microsoft/TypeScript/issues/32950
https://github.com/fatcerberus
fatcerberushttps://github.com/fatcerberus
Mar 12, 2024 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2180567964
Specifying return type 'never' on function expression doesn't work, but it works on function declaration. #57732 https://github.com/microsoft/TypeScript/issues/57732
https://github.com/cobaltt7
cobaltt7https://github.com/cobaltt7
Mar 22, 2024 https://github.com/microsoft/TypeScript/pull/32695#ref-pullrequest-2192425582
types: Use ThreadChannel and AnyThreadChannel consistently discordjs/discord.js#10181 https://github.com/discordjs/discord.js/pull/10181
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Aug 28, 2024 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2492745048
Native node TestContext.assert is not typed correctly #59787 https://github.com/microsoft/TypeScript/issues/59787
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Sep 25, 2024 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2547647479
Calling never-returning method on a subtype of function does not consider following code as unreachable #60059 https://github.com/microsoft/TypeScript/issues/60059
https://github.com/Andarist
Andaristhttps://github.com/Andarist
Oct 10, 2024 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2578544458
Inferred never values don't properly type guard #60185 https://github.com/microsoft/TypeScript/issues/60185
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Oct 29, 2024 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2621929722
Detection of unreachable code after call to function returning never is broken for functions exported via intermediate variable #60368 https://github.com/microsoft/TypeScript/issues/60368
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Nov 26, 2024 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2694203717
never return type not handled when function has implicit type #60609 https://github.com/microsoft/TypeScript/issues/60609
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Dec 22, 2024 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2754808482
assert type refinements don't work in expressions #60841 https://github.com/microsoft/TypeScript/issues/60841
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Feb 3, 2025 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2826678006
Type predicate silently ignored when used as non-statement expression #61105 https://github.com/microsoft/TypeScript/issues/61105
https://github.com/Universal-Invariant
Universal-Invarianthttps://github.com/Universal-Invariant
Mar 11, 2025https://github.com/microsoft/TypeScript/pull/32695#issuecomment-2714204705
https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functionshttps://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Mar 22, 2025 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-2940300614
Inconsistent behavior of the never return type between function and class method #61464 https://github.com/microsoft/TypeScript/issues/61464
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
May 3, 2025 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-3037022450
Cross-module inference issue: never-returning function doesn't prevent further type checking in async context #61649 https://github.com/microsoft/TypeScript/issues/61649
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Aug 8, 2025 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-3303290033
Enhance Control‑Flow Narrowing for never‑returning Functions Passed as Parameters #62235 https://github.com/microsoft/TypeScript/issues/62235
https://github.com/MartinJohns
MartinJohnshttps://github.com/MartinJohns
Sep 30, 2025 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-3468215635
Cannot assert about union type of assertions #62513 https://github.com/microsoft/TypeScript/issues/62513
https://github.com/dummdidumm
dummdidummhttps://github.com/dummdidumm
Oct 17, 2025 https://github.com/microsoft/TypeScript/pull/32695#ref-issue-3526117333
Docs: Imperative invalidation caveat sveltejs/kit#14745 https://github.com/sveltejs/kit/issues/14745
Sign up for freehttps://github.com/join?source=comment-repo
Sign in to commenthttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fmicrosoft%2FTypeScript%2Fpull%2F32695
https://github.com/weswigham
weswigham https://github.com/weswigham
https://github.com/microsoft/TypeScript/pull/32695/files/2c36249ed6bd63f4fd66813985ae2dff681349a5
https://github.com/RyanCavanaugh
RyanCavanaugh https://github.com/RyanCavanaugh
https://github.com/microsoft/TypeScript/pull/32695/files/bcdf33d8de066b827e8251875675b7a0084446c5
https://github.com/DanielRosenwasser
DanielRosenwasser https://github.com/DanielRosenwasser
https://github.com/rbuckton
rbuckton https://github.com/rbuckton
https://github.com/microsoft/TypeScript/pull/32695/files/2c36249ed6bd63f4fd66813985ae2dff681349a5
https://github.com/jack-williams
jack-williams https://github.com/jack-williams
https://github.com/microsoft/TypeScript/pull/32695/files/bcdf33d8de066b827e8251875675b7a0084446c5
https://github.com/ajafff
ajafff https://github.com/ajafff
https://github.com/microsoft/TypeScript/pull/32695/files/fe70a62ef1ef87d20a860c6bdea999cdfab76592
https://github.com/ahejlsberg
ahejlsberg https://github.com/ahejlsberg
Update Docs on Next Release https://github.com/microsoft/TypeScript/issues?q=state%3Aopen%20label%3A%22Update%20Docs%20on%20Next%20Release%22
TypeScript 3.7.0 https://github.com/microsoft/TypeScript/milestone/98
TS2454 after assigning a value from an exhaustive switch statement https://github.com/microsoft/TypeScript/issues/18362
switch on enum exhaustive for direct return but not for indirect return https://github.com/microsoft/TypeScript/issues/13241
Exhaustiveness checking doesn't work with variables https://github.com/microsoft/TypeScript/issues/12668
CFA: control flow for switch is defeated by outer if-else https://github.com/microsoft/TypeScript/issues/11572
Control flow based type narrowing for assert(...) calls https://github.com/microsoft/TypeScript/issues/8655
Problem with exhaustiveness check for tagged unions https://github.com/microsoft/TypeScript/issues/20409
Definite assignment for exhaustive switch statements. https://github.com/microsoft/TypeScript/issues/20823
Initializing let variables and exhaustiveness checking https://github.com/microsoft/TypeScript/issues/22470
enum exhaustiveness checking with --noImplicitReturns doesn't work for nested switches https://github.com/microsoft/TypeScript/issues/27388
strictNullChecks false positive when all possible conditions have been defined https://github.com/microsoft/TypeScript/issues/27909
Please reload this pagehttps://github.com/microsoft/TypeScript/pull/32695
https://github.com/ahejlsberg
https://github.com/acutmore
https://github.com/typescript-bot
https://github.com/dragomirtitian
https://github.com/felixfbecker
https://github.com/treybrisbane
https://github.com/j-f1
https://github.com/zen0wu
https://github.com/krzkaczor
https://github.com/goodmind
https://github.com/jack-williams
https://github.com/alexreardon
https://github.com/shicks
https://github.com/polmabri
https://github.com/osyrisrblx
https://github.com/weswigham
https://github.com/jdom
https://github.com/magnushiie
https://github.com/rbuckton
https://github.com/Jessidhia
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.