Add min() and max() throw type extension

[ondrejmirtes]

PhpStorm stubs now declare @throws \ValueError on min() and max(), so every call became an explicit throw point. That broke @throws void functions and custom rules that look at explicit throw points: min(max(1, $x), 5) inside an open database transaction was reported by a downstream "transaction not resolved before leaving the method" rule.

min() / max() throw ValueError only when called with a single empty array. With two or more arguments the values are just compared, and PHP 7 returns false with a warning instead of throwing.

The extension returns VoidType (no throw point) when:

• the analysed PHP version is below 8.0,
• the first argument (or the element type of an unpacked first argument) is not an array, or is a non-empty array,
• the array variant of the function is not the one selected for the arguments.

Otherwise it keeps the declared ValueError, e.g. for max($maybeEmptyArray), min([]), max($mixed) or max(...$listOfLists).

All decisions read Scope::getNativeType(), so a PHPDoc-only non-empty-list keeps the ValueError while a native narrowing like if ($a === []) { return; } removes it.

Tests are in CatchWithUnthrownExceptionRuleTest, with separate expectations for PHP 8.0+ and for PHP < 8.0, where every catch is dead. Both fail without the extension. The PHP 7.4 expectations were verified locally on a downgraded copy.

🤖 Generated with Claude Code

https://claude.ai/code/session_01Dhb4ssXuKVWcVBcNFpsdn7