String Array Cast

Description

Hi there!

I would like to propose the feature that would allow to cast an array of objects into an array of strings:

/** @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.

Das Issue nennt keine Dateien, Tests oder Einstiegspunkte. Beginne damit nachzuverfolgen, wie PHP Casts parst und Arrays verarbeitet, und vergleiche dann die vorgeschlagene Syntax mit dem gezeigten Verhalten von array_map. Als erledigt gilt, wenn Syntax, Semantik und Kompatibilität des Features definiert und durch Tests abgedeckt sind.