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.

Sign up for GitHub

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

Jump to bottom

[TypeDeclaration] Clean up never type check on AddNeverReturnType #6304

Merged

samsonasik merged 1 commit into main from clean-up-never

Sep 15, 2024

Member

samsonasik commented Sep 15, 2024

For adding never return, if it already has return type, but non-void, skip early, then another "never" type in the last no longer needed.


          [TypeDeclaration] Clean up never type check on AddNeverReturnType

5f09e9d

Member Author

samsonasik commented Sep 15, 2024

All checks have passed 🎉 @TomasVotruba I am merging it ;)

samsonasik merged commit 5da2f33 into main

36 checks passed

samsonasik deleted the clean-up-never branch

September 15, 2024 01:12

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet