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,54 @@
+<?php
+
+namespace Levels\ArrayOffsetAccess;
+
+class Foo
+{
+	public function test()
+	{
+		$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;
+	}
+}