Type inference after using array_pop could be improved. #7804
Description
Feature request
In the below case, using array_pop makes phpstan believe the $headers value could be an empty array, when prior it knew that there were atleast 4 values.
array_pop always removes one element from the array and as such the second count() value could return int<3, max> in this case, and also persist the non-empty-array type.