Skip to content

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

Merged
ondrejmirtes merged 1 commit intophpstan:masterfrom
b1rdex:no-return
Oct 28, 2020
Merged

Add support for no-return and never-returns types#361
ondrejmirtes merged 1 commit intophpstan:masterfrom
b1rdex:no-return

Conversation

@b1rdex
Copy link
Copy Markdown
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/

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
Copy Markdown
Member

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants