Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:118942
To: internals@lists.php.net
References: <CAG9XoMSN6Nw8RH+ivbsq4W00UOU48zo+SDdp3X2=M+pz99HxDA@mail.gmail.com>
Message-ID: <6362BCD4.6040804@adviesenzo.nl>
Date: Wed, 2 Nov 2022 19:54:12 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101
 Thunderbird/38.7.0
MIME-Version: 1.0
In-Reply-To: <CAG9XoMSN6Nw8RH+ivbsq4W00UOU48zo+SDdp3X2=M+pz99HxDA@mail.gmail.com>
Content-Type: multipart/alternative;
 boundary="------------080005080106080101030702"
Subject: Re: [PHP-DEV] ReflectionType for iterable / PHP 8.2
From: php-internals_nospam@adviesenzo.nl (Juliette Reinders Folmer)

--------------080005080106080101030702
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit

On 2-11-2022 18:46, Benjamin Morel wrote:
> Hi internals,
>
> It just came to my attention that there is a change of behaviour between
> PHP 8.1 and 8.2 in the way iterable is decomposed, or not, into
> Traversable|array when reflected:
>
> ```
> function foo(): iterable {}
> function bar(): stdClass|iterable {}
>
> echo (new ReflectionFunction('foo'))->getReturnType(), PHP_EOL;
> echo (new ReflectionFunction('bar'))->getReturnType(), PHP_EOL;
> ```
>
> Output on PHP 8.1:
>
> ```
> iterable
> stdClass|iterable
> ```
>
> Output on PHP 8.2:
>
> ```
> iterable
> stdClass|Traversable|array
> ```
>
> Is this expected behaviour? Or should I file a bug? I'm particularly
> surprised that it behaves this way on PHP 8.2 only in the presence of union
> types.
>
> Thank you,
> Benjamin
>
That's a intentional behaviour change and related to this accepted PHP 
8.2 RFC: https://wiki.php.net/rfc/iterator_xyz_accept_array

Smile,
Juliette

--------------080005080106080101030702--