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/discussion-11362 composer install ../../bin/phpstan )

succeeded Oct 23, 2025 in 24s