1.2.1233. Type Could Be Never

Mark return types that can be set to never.

<?php

function foo($b) {
    // this function never returns
    die();
}

?>

1.2.1233.1. Connex PHP features

• never

1.2.1233.1.1. Suggestions

• Add the ‘never’ returntype

1.2.1233.1.2. Specs

Short name	Typehints/CouldBeNever
Rulesets	All, Changed Behavior, Typechecks
Exakat since	2.3.8
PHP Version	With PHP 8.1 and more recent
Severity	Minor
Time To Fix	Quick (30 mins)
Precision	High
Available in	Entreprise Edition, Exakat Cloud