tests

Author: staabm

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -1270,6 +1270,13 @@ public function testBug13773(): void
 		]);
 	}
 
+	public function testBug8985(): void
+	{
+		$this->reportPossiblyNonexistentConstantArrayOffset = true;
+
+		$this->analyse([__DIR__ . '/data/bug-8985.php'], []);
+	}
+
 	public function testBug14308(): void
 	{
 		$this->reportPossiblyNonexistentConstantArrayOffset = true;

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

@@ -0,0 +1,31 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Bug8985;
+
+class Entity
+{
+	public function __construct(private string $value)
+	{
+	}
+
+	public function getValue(): string
+	{
+		return $this->value;
+	}
+}
+
+class Repository
+{
+	/** @return array<int, Entity> */
+	public function getAll(): array
+	{
+		return [new Entity('test')];
+	}
+}
+
+assert((new Repository())->getAll() === []);
+
+$all = (new Repository())->getAll();
+$value = $all[0]->getValue();