NoReturn attribute can be added
Reports function without #[NoReturn] that are always halting their execution by calling other exitPoint functions attribute.
Inspection Details | |
|---|---|
Available in: | PhpStorm 2023.3, Qodana for PHP 2023.3 |
Plugin: | PHP, 233.SNAPSHOT |
Last modified: 13 July 2023