Skip to content
Issue bot

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

Sign in to view logs

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

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

Analyse (70300, 9, f57d62d4-7705-4375-8288-3bc00c1f18fb,0a68d081-7df1-458c-85b5-254f4c05d06e,cb1c...

Analyse (70300, 9, f57d62d4-7705-4375-8288-3bc00c1f18fb,0a68d081-7df1-458c-85b5-254f4c05d06e,cb1c...
succeeded Oct 31, 2025 in 2m 8s