Skip to content

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

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

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

Annotations

2 errors

other-tests  /  Other Tests (ubuntu-latest, 8.0, cd e2e/php8 ../../phpstan analyse -l 8 -c php80.neon test.php )

failed Nov 2, 2025 in 27s