PathArrayness is used to make an assumption that pushing down $match before dotted path renames is safe as long as there are no arrays involved.

However, with dotted path renames, all ancestors of the full path are created as empty objects. This means that pushing the $match below the rename can be incorrect if it’s possible for it to match one of those ancestors. The incorrect optimization will cause docs to be missed that would be captured if no pushdown occurred.