[php-src] Issue #14384: String Array Cast

Issue: https://github.com/php/php-src/issues/14384 Author: rela589n ### Description Hi there! I would like to propose the feature that would allow to cast an array of objects into an array of strings: ```php /** @var Uuid[] $templateIds */ $templateIdStrings = (string[])$templateIds; ``` Basically this is a syntax sugar to a more verbose form identical to this: ``` /** @var Uuid[] $templateIds */ $templateIdStrings = array_map(static fn (Uuid $value): string => (string)$value, $templateIds); ``` Please, let me know what you think about it.