More precise array-item types in loops

Author: staabm

src/Analyser/MutatingScope.php

@@ -1853,6 +1853,10 @@ private function getTypeFromArrayDimFetch(
 			throw new ShouldNotHappenException();
 		}
 
+		if ($offsetAccessibleType instanceof NeverType) {
+			return $offsetAccessibleType;
+		}
+
 		if (!$offsetAccessibleType->isArray()->yes() && (new ObjectType(ArrayAccess::class))->isSuperTypeOf($offsetAccessibleType)->yes()) {
 			return $this->getType(
 				new MethodCall(

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

@@ -31,7 +31,7 @@ public function test(): void
 			}
 		}
 
-		assertType('array', $objects);
+		assertType('array<int, Bug9307\Item>', $objects);
 
 		$this->acceptObjects($objects);
 	}