Regression test

Closes phpstan/phpstan#9086

Author: ondrejmirtes

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -86,6 +86,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5508.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-10254.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-7281.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-9086.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-2750.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-2850.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-2863.php');

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

@@ -0,0 +1,36 @@
+<?php
+
+namespace Bug9086;
+
+use ArrayObject;
+use function PHPStan\Testing\assertType;
+
+/**
+ * @template A
+ * @template B
+ *
+ * @param A $items
+ * @param callable(A): B $ab
+ * @return B
+ */
+function pipe(mixed $items, callable $ab): mixed
+{
+	return $ab($items);
+}
+
+/**
+ * @return ArrayObject<string, bool>
+ */
+function getObject(): ArrayObject
+{
+	return new ArrayObject;
+}
+
+function (): void {
+	$result = pipe(getObject(), function(ArrayObject $i) {
+		assertType('ArrayObject<string, bool>', $i);
+		return $i;
+	});
+
+	assertType('ArrayObject<string, bool>', $result);
+};