mb_str_split result can be an empty array #7580
Description
Bug report
Code snippet that reproduces the problem
demo: https://phpstan.org/r/b78dcbd0-6791-4090-b50b-599fa5593ac2
Expected output
no error