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

other-tests  /  Other Tests (ubuntu-latest, 8.0, cd e2e/mongodb ../../phpstan analyse -l 8 test.php test2.php )

succeeded Nov 2, 2025 in 24s