add regression tests

phpstan · May 12, 2022 · 152694e · 152694e
1 parent f2e511b
commit 152694e
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php b/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php
@@ -395,4 +395,9 @@ public function testBug7000(): void
 		]);
 	}
 
+	public function testBug6508(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-6508.php'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Arrays/data/bug-6508.php b/tests/PHPStan/Rules/Arrays/data/bug-6508.php
@@ -0,0 +1,18 @@
+<?php
+
+namespace Bug6508;
+
+class Foo
+{
+	/**
+	 * @param array{
+	 *   type1?: array{bool: bool},
+	 *   type2?: array{bool: bool}
+	 * } $types
+	 * @param 'type1'|'type2' $type
+	 */
+	function test(array $types, string $type): void
+	{
+		if (isset($types[$type]) && $types[$type]['bool']) {}
+	}
+}