Regression test

Closes phpstan/phpstan#4532

Author: ondrejmirtes

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -980,4 +980,14 @@ public function testBug1061(): void
 		]);
 	}
 
+	public function testBug4532(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-4532.php'], [
+			[
+				'Offset int|null might not exist on array<int, string>.',
+				25,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Arrays/data/bug-4532.php

@@ -0,0 +1,26 @@
+<?php declare(strict_types=1);
+
+namespace Bug4532;
+
+use AllowDynamicProperties;
+
+/**
+ * @property int|null $status
+ */
+#[AllowDynamicProperties]
+class Entity
+{
+	public const STATUS_OFF = 0;
+	public const STATUS_ON = 1;
+
+	/** @var array<int, string> */
+	public static array $statuses = [
+		self::STATUS_OFF => 'Off',
+		self::STATUS_ON => 'On',
+	];
+}
+
+function (): void {
+	$entity = new Entity;
+	echo Entity::$statuses[$entity->status];
+};