Try

Author: VincentLanglet

tests/PHPStan/Levels/LevelsIntegrationTest.php

@@ -13,37 +13,38 @@ class LevelsIntegrationTest extends LevelsTestCase
 	public static function dataTopics(): array
 	{
 		$topics = [
-			['returnTypes'],
-			['acceptTypes'],
-			['methodCalls'],
-			['propertyAccesses'],
-			['constantAccesses'],
-			['variables'],
-			['callableCalls'],
-			['callableVariance'],
-			['arrayDimFetches'],
-			['clone'],
-			['iterable'],
-			['binaryOps'],
-			['comparison'],
-			['throwValues'],
-			['casts'],
-			['unreachable'],
-			['echo_'],
-			['print_'],
-			['stringOffsetAccess'],
-			['object'],
-			['encapsedString'],
-			['missingReturn'],
-			['arrayAccess'],
-			['typehints'],
-			['coalesce'],
-			['arrayDestructuring'],
-			['listType'],
-			['missingTypes'],
+//			['returnTypes'],
+//			['acceptTypes'],
+//			['methodCalls'],
+//			['propertyAccesses'],
+//			['constantAccesses'],
+//			['variables'],
+//			['callableCalls'],
+//			['callableVariance'],
+//			['arrayDimFetches'],
+//			['clone'],
+//			['iterable'],
+//			['binaryOps'],
+//			['comparison'],
+//			['throwValues'],
+//			['casts'],
+//			['unreachable'],
+//			['echo_'],
+//			['print_'],
+//			['stringOffsetAccess'],
+//			['object'],
+//			['encapsedString'],
+//			['missingReturn'],
+//			['arrayAccess'],
+//			['typehints'],
+//			['coalesce'],
+//			['arrayDestructuring'],
+//			['listType'],
+//			['missingTypes'],
+			['arrayOffsetAccess'],
 		];
 		if (PHP_VERSION_ID >= 80300) {
-			$topics[] = ['constantAccesses83'];
+//			$topics[] = ['constantAccesses83'];
 		}
 
 		return $topics;

tests/PHPStan/Levels/data/arrayOffsetAccess.php

@@ -0,0 +1,48 @@
+<?php
+
+namespace Levels\ArrayOffsetAccess;
+
+$a = [];
+$foo = $a[null];
+$foo = $a[new \DateTimeImmutable()];
+$a[[]] = $foo;
+$a[1];
+$a[1.0];
+$a['1'];
+$a[true];
+$a[false];
+
+/** @var string|null $stringOrNull */
+$stringOrNull = doFoo();
+$a[$stringOrNull];
+
+$obj = new \SplObjectStorage();
+$obj[new \stdClass()] = 1;
+
+/** @var string|\stdClass $stringOrObject */
+$stringOrObject = doFoo();
+$a[$stringOrObject];
+
+$constantArray = ['a' => 1];
+if (doFoo()) {
+	$constantArray['b'] = 2;
+}
+
+$constantArray[new \DateTimeImmutable()] = 1;
+
+/** @var string[] $array */
+$array = doFoo();
+foreach ($array as $i => $val) {
+	echo $array[$i];
+}
+
+/** @var mixed $mixed */
+$mixed = null;
+$a[$mixed];
+
+/** @var array<int, array<int, int>> $array */
+$array = doFoo();
+$array[new \DateTimeImmutable()][5];
+$array[5][new \DateTimeImmutable()];
+$array[new \stdClass()][new \DateTimeImmutable()];
+$array[new \DateTimeImmutable()][] = 5;