added regression test

phpstan · Dec 21, 2022 · 085713b · 085713b
1 parent be4afec
commit 085713b
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/tests/PHPStan/Rules/Comparison/UnreachableIfBranchesRuleTest.php b/tests/PHPStan/Rules/Comparison/UnreachableIfBranchesRuleTest.php
@@ -122,4 +122,10 @@ public function testBug8076(): void
 		$this->analyse([__DIR__ . '/data/bug-8076.php'], []);
 	}
 
+	public function testBug8562(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-8562.php'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Comparison/data/bug-8562.php b/tests/PHPStan/Rules/Comparison/data/bug-8562.php
@@ -0,0 +1,18 @@
+<?php declare(strict_types = 1);
+
+namespace Bug8562;
+
+/**
+ * @param array<int, bool> $a
+ */
+function a(array $a): void {
+	$l = (string) array_key_last($a);
+	$s = substr($l, 0, 2);
+	if ($s === '') {
+		;
+	} else {
+		var_dump($s);
+	}
+}
+
+