@implement tag on RecursiveIterator returns an error, while Iterator does not

[jfcalcerrada]

Bug report

@implements tag on a \RecursiveIterator doesn't work, but it does with \Iterator.

The following error is being reported:

Class Some\Foo\PeriodRecursive @implements tag contains incompatible type iterable<Some\Foo\Moment>&RecursiveIterator.

Digging into the source code, I found this commit "reverting" the change: phpstan/phpstan-src@aa92b5b

So I assume this is not a bug and it's intentional, but I'm not understanding why this was reverted.

Code snippet that reproduces the problem

Link to the playground, please ignore missing method errors:

https://phpstan.org/r/f5382215-922f-4453-a7d6-de0ae9a524d6

<?php namespace Some\Foo;

class Moment {}

/**
 * @implements \Iterator<Moment>
 */
final class Period implements \Iterator
{
}

/**
 * @implements \RecursiveIterator<Moment>
 */
final class PeriodRecursive implements \RecursiveIterator
{
}

Expected output

No error is returned, as \RecursiveIterator works the same as \Iterator

[ondrejmirtes]

Hi, I don't even know what me change it, so I reverted it. RecursiveIterator is generic again! phpstan/phpstan-src@82596f5

Thank you.

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.