Test ConstantArrayType::getOffsetValueType() with imprecise offset type

Author: ondrejmirtes

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -164,6 +164,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/classPhpDocs.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/non-empty-array-key-type.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3133.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/../Rules/Variables/data/bug-10577.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/../Rules/Comparison/data/bug-2550.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-2899.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/preg_split.php');

tests/PHPStan/Rules/Variables/data/bug-10577.php

@@ -2,6 +2,8 @@
 
 namespace Bug10577;
 
+use function PHPStan\Testing\assertType;
+
 class HelloWorld
 {
 	private const MAP = [
@@ -20,6 +22,8 @@ public function validate(string $value): void
 
 		$value = self::MAP[$value] ?? $value;
 
+		assertType("'Test1'|'Test2'", self::MAP[$value]);
+
 		// ...
 	}
 }