exit is not a valid @return type in PHPDoc per https://docs.phpdoc.org/guide/references/phpdoc/types.html.
Go for never-returns which seems the best compromise according to https://phpstan.org/writing-php-code/phpdoc-types#bottom-type and https://stackoverflow.com/questions/31672862/phpdoc-function-exits
Details
Details
- Reviewers
valerio.bozzolan - Group Reviewers
O1: Blessed Committers - Commits
- rP1d1c17ff70f1: PHPDoc: Replace non-existing return type exit with never-returns
Read the code.
Diff Detail
Diff Detail
- Repository
- rP Phorge
- Branch
- phpDocReturnTypeExit (branched from master)
- Lint
Lint Passed - Unit
No Test Coverage - Build Status
Buildable 2117 Build 2117: arc lint + arc unit