Skip to content

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

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

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