Improve

Author: VincentLanglet

src/Rules/Arrays/InvalidKeyInArrayDimFetchRule.php

@@ -47,7 +47,12 @@ public function processNode(Node $node, Scope $scope): array
 			static fn (Type $varType): bool => $varType->isArray()->no(),
 		)->getType();
 
-		if ($varType instanceof ErrorType || $varType->isArray()->no()) {
+		if ($varType instanceof ErrorType) {
+			return [];
+		}
+
+		$isArray = $varType->isArray();
+		if ($isArray->no() || ($isArray->maybe() && !$this->reportMaybes)) {
 			return [];
 		}
 
@@ -68,7 +73,11 @@ public function processNode(Node $node, Scope $scope): array
 
 		return [
 			RuleErrorBuilder::message(
-				sprintf('%s array key type %s.', $isSuperType->no() ? 'Invalid' : 'Possibly invalid', $dimensionType->describe(VerbosityLevel::typeOnly())),
+				sprintf(
+					'%s array key type %s.',
+					$isArray->yes() && $isSuperType->no() ? 'Invalid' : 'Possibly invalid',
+					$dimensionType->describe(VerbosityLevel::typeOnly()),
+				),
 			)->identifier('offsetAccess.invalidOffset')->build(),
 		];
 	}

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

@@ -10,7 +10,7 @@
         "ignorable": true
     },
     {
-        "message": "Invalid array key type DateTimeImmutable.",
+        "message": "Possibly invalid array key type DateTimeImmutable.",
         "line": 26,
         "ignorable": true
     },