Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:118939
MIME-Version: 1.0
Date: Wed, 2 Nov 2022 18:46:15 +0100
Message-ID: <CAG9XoMSN6Nw8RH+ivbsq4W00UOU48zo+SDdp3X2=M+pz99HxDA@mail.gmail.com>
To: PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000070064d05ec806bf9"
Subject: ReflectionType for iterable / PHP 8.2
From: benjamin.morel@gmail.com (Benjamin Morel)

--00000000000070064d05ec806bf9
Content-Type: text/plain; charset="UTF-8"

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

--00000000000070064d05ec806bf9--