Skip to content

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

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

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

extension-tests  /  phpstan-dibi (7.4) make tests

succeeded Oct 27, 2025 in 25s