Skip to content

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

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

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

Annotations

2 errors

Compiler Tests

succeeded Oct 23, 2025 in 1m 57s