Revert d7ba1e3

Author: staabm

src/Analyser/ExprHandler/ArrayDimFetchHandler.php

@@ -42,10 +42,6 @@ public function resolveType(MutatingScope $scope, Expr $expr): Type
 		}
 
 		$offsetAccessibleType = $scope->getType($expr->var);
-		if ($offsetAccessibleType instanceof NeverType) {
-			return NullsafeShortCircuitingHelper::getType($scope, $expr->var, $offsetAccessibleType);
-		}
-
 		if (
 			!$offsetAccessibleType->isArray()->yes()
 			&& (new ObjectType(ArrayAccess::class))->isSuperTypeOf($offsetAccessibleType)->yes()

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

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