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-3.json

@@ -0,0 +1,7 @@
+[
+    {
+        "message": "Invalid array key type DateTimeImmutable.",
+        "line": 17,
+        "ignorable": true
+    }
+]

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

@@ -0,0 +1,37 @@
+[
+    {
+        "message": "Expression \"$a[42]\" on a separate line does not do anything.",
+        "line": 15,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a[null]\" on a separate line does not do anything.",
+        "line": 16,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a[$intOrNull]\" on a separate line does not do anything.",
+        "line": 18,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a[$objectOrInt]\" on a separate line does not do anything.",
+        "line": 19,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a[$objectOrNull]\" on a separate line does not do anything.",
+        "line": 20,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a[$explicitlyMixed]\" on a separate line does not do anything.",
+        "line": 21,
+        "ignorable": true
+    },
+    {
+        "message": "Expression \"$a[$implicitlyMixed]\" on a separate line does not do anything.",
+        "line": 22,
+        "ignorable": true
+    }
+]

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

@@ -0,0 +1,12 @@
+[
+    {
+        "message": "Method Levels\\ArrayOffsetAccess\\Foo::test() has parameter $a with no value type specified in iterable type array.",
+        "line": 7,
+        "ignorable": true
+    },
+    {
+        "message": "Method Levels\\ArrayOffsetAccess\\Foo::test() has parameter $implicitlyMixed with no type specified.",
+        "line": 7,
+        "ignorable": true
+    }
+]

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

@@ -0,0 +1,12 @@
+[
+    {
+        "message": "Possibly invalid array key type int|object.",
+        "line": 19,
+        "ignorable": true
+    },
+    {
+        "message": "Possibly invalid array key type object|null.",
+        "line": 20,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arrayOffsetAccess.php

@@ -0,0 +1,24 @@
+<?php
+
+namespace Levels\ArrayOffsetAccess;
+
+class Foo {
+	/** @return void */
+	public function test(
+		array $a,
+		int|null $intOrNull,
+		object|int $objectOrInt,
+		object|null $objectOrNull,
+		mixed $explicitlyMixed,
+		$implicitlyMixed,
+	) {
+		$a[42];
+		$a[null];
+		$a[new \DateTimeImmutable()];
+		$a[$intOrNull];
+		$a[$objectOrInt];
+		$a[$objectOrNull];
+		$a[$explicitlyMixed];
+		$a[$implicitlyMixed];
+	}
+}