Infinite loop

[enumag]

Bug report

I added a new test today and PHPStan never finishes when trying to analyze it. Posting a reproducer below.

Code snippet that reproduces the problem

As this is causing an infinite loop I can't get a phpstan.org link. But if you copypaste the code, it will happen.

<?php declare(strict_types = 1);

use DateTimeImmutable;
use Ds\Set;
use Iterator;

abstract class PHPStanBug
{
	public function test(): void
	{
		/** @var Set<class-string> $set */
		$set = new Set();
		foreach ($this->a() as $item) {
			$set->add(\get_class($item));
		}
		foreach ($this->b() as $item) {
			$set->add(\get_class($item));
		}
		foreach ($this->c() as $item) {
			$set->add($item);
		}
		$set->sort();
	}

	/**
	 * @return Iterator<object>
	 */
	abstract public function a(): Iterator;

	/**
	 * @return Iterator<object>
	 */
	private function b(): Iterator
	{
		yield new DateTimeImmutable();
	}

	/**
	 * @return Iterator<class-string<object>>
	 */
	private function c(): Iterator
	{
		yield DateTimeImmutable::class;
	}
}

[mergeable]

This bug report is missing a link to reproduction on phpstan.org.
It will most likely be closed after manual review.

[enumag]

@ondrejmirtes Do you have an idea what might be wrong here?

[ondrejmirtes]

Nope, someone equipped with Xdebug needs to figure that out.

[ondrejmirtes]

Fixed: phpstan/phpstan-src#335

[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.