Skip to content

Infer non-empty-ness after count($a) == count($b) #23332

Infer non-empty-ness after count($a) == count($b)

Infer non-empty-ness after count($a) == count($b) #23332

E2E tests (cd e2e/composer-max-version composer install ../../bin/phpstan analyze test.php --leve...

succeeded Oct 23, 2025 in 27s