Add integration test

Author: VincentLanglet

tests/PHPStan/Levels/LevelsIntegrationTest.php

@@ -41,6 +41,7 @@ public static function dataTopics(): array
 			['arrayDestructuring'],
 			['listType'],
 			['missingTypes'],
+			['arrayOffsetAccess'],
 		];
 		if (PHP_VERSION_ID >= 80300) {
 			$topics[] = ['constantAccesses83'];

tests/PHPStan/Levels/data/arrayOffsetAccess-0.json

@@ -0,0 +1,27 @@
+[
+    {
+        "message": "Function doFoo not found.",
+        "line": 20,
+        "ignorable": true
+    },
+    {
+        "message": "Function doFoo not found.",
+        "line": 27,
+        "ignorable": true
+    },
+    {
+        "message": "Function doFoo not found.",
+        "line": 31,
+        "ignorable": true
+    },
+    {
+        "message": "Function doFoo not found.",
+        "line": 38,
+        "ignorable": true
+    },
+    {
+        "message": "Function doFoo not found.",
+        "line": 48,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arrayOffsetAccess-3.json

@@ -0,0 +1,52 @@
+[
+    {
+        "message": "Offset null does not exist on array{}.",
+        "line": 10,
+        "ignorable": true
+    },
+    {
+        "message": "Invalid array key type DateTimeImmutable.",
+        "line": 11,
+        "ignorable": true
+    },
+    {
+        "message": "Offset DateTimeImmutable does not exist on array{}.",
+        "line": 11,
+        "ignorable": true
+    },
+    {
+        "message": "Invalid array key type array.",
+        "line": 12,
+        "ignorable": true
+    },
+    {
+        "message": "Invalid array key type DateTimeImmutable.",
+        "line": 35,
+        "ignorable": true
+    },
+    {
+        "message": "Invalid array key type DateTimeImmutable.",
+        "line": 49,
+        "ignorable": true
+    },
+    {
+        "message": "Invalid array key type DateTimeImmutable.",
+        "line": 50,
+        "ignorable": true
+    },
+    {
+        "message": "Invalid array key type DateTimeImmutable.",
+        "line": 51,
+        "ignorable": true
+    },
+    {
+        "message": "Invalid array key type stdClass.",
+        "line": 51,
+        "ignorable": true
+    },
+    {
+        "message": "Invalid array key type DateTimeImmutable.",
+        "line": 52,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arrayOffsetAccess-4.json

@@ -0,0 +1,42 @@
+[
+    {
+        "message": "Expression \"$a[1]\" on a separate line does not do anything.",
+        "line": 13,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a[1.0]\" on a separate line does not do anything.",
+        "line": 14,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a['1']\" on a separate line does not do anything.",
+        "line": 15,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a[true]\" on a separate line does not do anything.",
+        "line": 16,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a[false]\" on a separate line does not do anything.",
+        "line": 17,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a[$stringOrNull]\" on a separate line does not do anything.",
+        "line": 21,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a[$stringOrObject]\" on a separate line does not do anything.",
+        "line": 28,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a[$mixed]\" on a separate line does not do anything.",
+        "line": 45,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arrayOffsetAccess-7.json

@@ -0,0 +1,7 @@
+[
+    {
+        "message": "Possibly invalid array key type stdClass|string.",
+        "line": 28,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arrayOffsetAccess.php

@@ -0,0 +1,54 @@
+<?php
+
+namespace Levels\ArrayOffsetAccess;
+
+class Foo {
+	/** @return void */
+	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;
+	}
+}