Feature request

All these array functions should return a non-empty-array

https://phpstan.org/r/2f9aa3bf-3f27-414a-a005-f12656987560

those marked with // works already work as expected