Regression test

Closes phpstan/phpstan#11283

Author: ondrejmirtes

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -1394,6 +1394,12 @@ public function testBug11147(): void
 $this->assertSame('Method Bug11147\RedisAdapter::createConnection() has invalid return type Bug11147\NonExistentClass.', $errors[0]->getMessage());
 }
 
+public function testBug11283(): void
+{
+$errors = $this->runAnalyse(__DIR__ . '/data/bug-11283.php');
+$this->assertNoErrors($errors);
+}
+
 /**
  * @param string[]|null $allAnalysedFiles
  * @return Error[]

tests/PHPStan/Analyser/data/bug-11283.php

@@ -0,0 +1,168 @@
+<?php declare(strict_types=1);
+
+namespace Bug11283;
+
+/**
+ * @return mixed
+ */
+function returnMixed()
+{
+return 1;
+}
+
+/**
+ * Partial copy of https://github.com/reactphp/promise/blob/3.x/src/PromiseInterface.php
+ * @template-covariant T
+ */
+interface PromiseInterface
+{
+/**
+ * @template TFulfilled
+ * @template TRejected
+ * @param ?(callable((T is void ? null : T)): (PromiseInterface<TFulfilled>|TFulfilled)) $onFulfilled
+ * @param ?(callable(\Throwable): (PromiseInterface<TRejected>|TRejected)) $onRejected
+ * @return PromiseInterface<($onRejected is null ? ($onFulfilled is null ? T : TFulfilled) : ($onFulfilled is null ? T|TRejected : TFulfilled|TRejected))>
+ */
+public function then(?callable $onFulfilled = null, ?callable $onRejected = null): PromiseInterface;
+
+/**
+ * @template TThrowable of \Throwable
+ * @template TRejected
+ * @param callable(TThrowable): (PromiseInterface<TRejected>|TRejected) $onRejected
+ * @return PromiseInterface<T|TRejected>
+ */
+public function catch(callable $onRejected): PromiseInterface;
+
+/**
+ * @param callable(): (void|PromiseInterface<void>) $onFulfilledOrRejected
+ * @return PromiseInterface<T>
+ */
+public function finally(callable $onFulfilledOrRejected): PromiseInterface;
+}
+
+/**
+ * @template T
+ * @param PromiseInterface<T>|T $promiseOrValue
+ * @return PromiseInterface<T>
+ */
+function resolve($promiseOrValue): PromiseInterface
+{
+return returnMixed();
+}
+
+class Demonstration
+{
+public function parseMessage(): void
+{
+$params = [];
+$packet = [];
+$promise = resolve(null);
+
+$promise->then(function () use (&$packet, &$params) {
+if (mt_rand(0, 1)) {
+resolve(null)->then(
+function () use ($packet, &$params) {
+$packet['payload']['type'] = 0;
+$this->groupNotify(
+$packet,
+function () use ($packet, &$params) {
+$this->save($packet, $params)->then(function () use ($packet, &$params) {
+if ($params['links']) {
+$this->handle($params)->then(function ($result) use ($packet) {
+if ($result) {
+$packet['payload']['preview'] = $result;
+}
+});
+}
+});
+}
+);
+}
+);
+} else {
+$this->call(function () use (&$params) {
+$packet['target'] = [];
+
+$this->asyncAction()->then(function ($value) use (&$packet, &$params) {
+if (!$value) {
+$packet['payload']['type'] = 0;
+$packet['payload']['message'] = '';
+$this->selfNotify($packet);
+return;
+}
+
+$packet['payload']['type'] = 0;
+$this->groupNotify(
+$packet,
+function () use ($packet, &$params) {
+$this->save($packet, $params)->then(function () use ($packet, &$params) {
+if ($params) {
+$this->handle($params)->then(function ($result) use ($packet) {
+if ($result) {
+$packet['payload']['preview'] = $result;
+$this->selfNotify($packet);
+}
+});
+}
+});
+}
+);
+});
+});
+}
+});
+}
+
+/**
+ * @return PromiseInterface<mixed>
+ */
+private function handle(mixed $params): PromiseInterface
+{
+return resolve(null);
+}
+
+/**
+ * @param array<string, mixed> $packet
+ * @param array<string, mixed> $params
+ * @return PromiseInterface<int>
+ */
+private function save(array $packet, array &$params): PromiseInterface
+{
+return resolve(0);
+}
+
+/**
+ * @param array<string, mixed> $packet
+ * @param (callable():void) $callback
+ * @return bool
+ */
+public function groupNotify(array $packet, callable $callback): bool
+{
+return true;
+}
+
+/**
+ * @param array<string, mixed> $packet
+ * @return bool
+ */
+public function selfNotify(array $packet): bool
+{
+return true;
+}
+
+/**
+ * @return PromiseInterface<mixed>
+ */
+private function asyncAction(): PromiseInterface
+{
+return resolve('');
+}
+
+/**
+ * @param callable():void $callback
+ */
+private function call(callable $callback): void
+{
+}
+}
+