Add tests for impure receiver chain and impure arguments

Tests cover:
- Named constructor: Repository::create()->getAll() with impure create()
- Chained named constructor: Repository::create()->getEntity()->getValue()
- Named constructor property: Repository::create()->name
- Impure argument: $repository->getAllFor(Repository::create())

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: 2 people

tests/PHPStan/Analyser/nsrt/bug-8985.php

@@ -29,6 +29,12 @@ public function getAll(): array
 		return [new Entity('test')];
 	}
 
+	/** @return array<int, Entity> */
+	public function getAllFor(mixed $filter): array
+	{
+		return [new Entity('test')];
+	}
+
 	public string $name = 'default';
 
 	/** @return array<int, Entity> */
@@ -42,6 +48,12 @@ public function getEntity(): Entity
 		return new Entity('test');
 	}
 
+	/** @phpstan-impure */
+	public static function create(): self
+	{
+		return new self();
+	}
+
 	public const MY_CONST = 'const_value';
 }
 
@@ -109,3 +121,28 @@ function testClassConstFetchOnUnknownClass(string $class, string $anotherClass):
 	$class = $anotherClass;
 	assertType("*ERROR*", (new $class())::MY_CONST);
 }
+
+function testNamedConstructor(): void {
+	assert(Repository::create()->getAll() === []);
+
+	$all = Repository::create()->getAll();
+	assertType('array<int, Bug8985\Entity>', $all);
+}
+
+function testNamedConstructorChained(): void {
+	assert(Repository::create()->getEntity()->getValue() === 'specific');
+
+	assertType('string', Repository::create()->getEntity()->getValue());
+}
+
+function testNamedConstructorProperty(): void {
+	assert(Repository::create()->name === 'foo');
+
+	assertType('string', Repository::create()->name);
+}
+
+function testImpureArgument(Repository $repository): void {
+	assert($repository->getAllFor(Repository::create()) === []);
+
+	assertType('array<int, Bug8985\Entity>', $repository->getAllFor(Repository::create()));
+}

tests/PHPStan/Rules/Arrays/data/bug-8985.php

@@ -23,9 +23,33 @@ public function getAll(): array
 	{
 		return [new Entity('test')];
 	}
+
+	/** @return array<int, Entity> */
+	public function getAllFor(mixed $filter): array
+	{
+		return [new Entity('test')];
+	}
+
+	/** @phpstan-impure */
+	public static function create(): self
+	{
+		return new self();
+	}
 }
 
 assert((new Repository())->getAll() === []);
 
 $all = (new Repository())->getAll();
 $value = $all[0]->getValue();
+
+assert(Repository::create()->getAll() === []);
+
+$all2 = Repository::create()->getAll();
+$value2 = $all2[0]->getValue();
+
+function testImpureArgument(Repository $repository): void {
+	assert($repository->getAllFor(Repository::create()) === []);
+
+	$all = $repository->getAllFor(Repository::create());
+	$value = $all[0]->getValue();
+}