Feature request

after count($listA) == count($listB) we should narrow the list-types

• if one of the lists is known to be non-empty, the other one should also get non-empty
• if we know certain offsets of one of the lists we should infer the same offsets on the other one

(type-wise and scope-expression wise)

Did PHPStan help you today? Did it make you happy in any way?

No response