Regression test

Closes phpstan/phpstan#8938
phpstan · Feb 25, 2023 · 7cb4901 · 7cb4901
1 parent f882eff
commit 7cb4901
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/tests/PHPStan/Rules/Comparison/NumberComparisonOperatorsConstantConditionRuleTest.php b/tests/PHPStan/Rules/Comparison/NumberComparisonOperatorsConstantConditionRuleTest.php
@@ -207,4 +207,10 @@ public function testBug7075(): void
 		$this->analyse([__DIR__ . '/data/bug-7075.php'], []);
 	}
 
+	public function testBug8938(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-8938.php'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Comparison/data/bug-8938.php b/tests/PHPStan/Rules/Comparison/data/bug-8938.php
@@ -0,0 +1,17 @@
+<?php
+
+namespace Bug8938;
+
+class HelloWorld
+{
+	public function processData(string $data): string
+	{
+		$returnValue = '';
+		while (strlen($data) > 0) {
+			$firstChar = substr($data, 0, 1);
+			$data = substr($data, 1);
+			$returnValue = $returnValue . $firstChar;
+		}
+		return $returnValue;
+	}
+}