Skip to content

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

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

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