Regression test

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -1194,6 +1194,12 @@ public function testDiscussion9053(): void
 		$this->assertNoErrors($errors);
 	}
 
+	public function testProcessCalledMethodInfiniteLoop(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/process-called-method-infinite-loop.php');
+		$this->assertNoErrors($errors);
+	}
+
 	/**
 	 * @param string[]|null $allAnalysedFiles
 	 * @return Error[]

tests/PHPStan/Analyser/data/process-called-method-infinite-loop.php

@@ -0,0 +1,32 @@
+<?php declare(strict_types = 1);
+
+namespace ProcessCalledMethodInfiniteLoop;
+
+/**
+ * @template TValue
+ */
+class Promise{
+	/** @var TValue|null */
+	private $value = null;
+
+	/** @param \Closure(TValue|null) : void $callback */
+	public function onResolve(\Closure $callback) : void{
+		$callback($this->value);
+	}
+}
+class HelloWorld
+{
+	/**
+	 * @template TValue
+	 * @param \Generator<int, Promise<TValue|null>, TValue|null, void> $async
+	 */
+	public function next(\Generator $async) : void{
+		$async->next();
+		if(!$async->valid()) return;
+		$promise = $async->current();
+		$promise->onResolve(function($value) use ($async) : void{
+			$async->send($value);
+			$this->next($async);
+		});
+	}
+}