Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix #29710: Narrow unknown in switch #29711

Merged
merged 3 commits into from
Feb 5, 2019

Conversation

jack-williams
Copy link
Collaborator

Fixes #29710

@RyanCavanaugh
Copy link
Member

@typescript-bot test this

@typescript-bot
Copy link
Collaborator

typescript-bot commented Feb 4, 2019

Heya @RyanCavanaugh, I've started to run the extended test suite on this PR at 25f9a1f. You can monitor the build here. It should now contribute to this PR's status checks.

@RyanCavanaugh
Copy link
Member

Thanks!

@RyanCavanaugh RyanCavanaugh merged commit 1ec8a71 into microsoft:master Feb 5, 2019
@jack-williams
Copy link
Collaborator Author

@RyanCavanaugh NP, cheers for merging!

@jack-williams jack-williams deleted the switch-on-unknown branch February 5, 2019 18:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants