Fix #13000: Help phpstan understand what shape array has been created when looping over an array with known shape

Fix #13000: Help phpstan understand what shape array has been created when looping over an array with known shape #10227