Skip to content

Add support for no-return and never-returns types #361

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
Merged
merged 1 commit into from
Oct 28, 2020
Merged

Add support for no-return and never-returns types #361

merged 1 commit into from
Oct 28, 2020

Conversation

@b1rdex
Copy link
Contributor

@b1rdex b1rdex commented Oct 28, 2020

Just some aliases used in psalm

no-return is the 'return type' for a function that can never actually return, such as die(), exit(), or a function that always throws an exception. It may also be written as never-return or never-returns, and is also known as the bottom type.

https://psalm.dev/docs/annotating_code/type_syntax/atomic_types/
@b1rdex
Add support for no-return and never-returns types
9560ce0 
Just some aliases used in psalm ``` no-return is the 'return type' for a function that can never actually return, such as die(), exit(), or a function that always throws an exception. It may also be written as never-return or never-returns, and is also known as the bottom type. ``` https://psalm.dev/docs/annotating_code/type_syntax/atomic_types/
@ondrejmirtes ondrejmirtes merged commit 6012c89 into phpstan:master Oct 28, 2020
@ondrejmirtes
Copy link
Member

ondrejmirtes commented Oct 28, 2020

Thank you!
@b1rdex b1rdex deleted the no-return branch October 28, 2020 08:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants

@b1rdex @ondrejmirtes