Make PHPStan\dumpType pure

src/Rules/Functions/CallToFunctionStatementWithoutSideEffectsRule.php

@@ -57,6 +57,7 @@ public function processNode(Node $node, Scope $scope): array
 			}
 
 			if (in_array($function->getName(), [
+				'PHPStan\\dumpType',
 				'PHPStan\\Testing\\assertType',
 				'PHPStan\\Testing\\assertNativeType',
 				'PHPStan\\Testing\\assertVariableCertainty',

src/dumpType.php

@@ -3,8 +3,13 @@
 namespace PHPStan;
 
 /**
+ * @phpstan-pure
  * @param mixed $value
+ * @return mixed
+ *
+ * @throws void
  */
-function dumpType($value): void // phpcs:ignore Squiz.Functions.GlobalFunction.Found
+function dumpType($value) // phpcs:ignore Squiz.Functions.GlobalFunction.Found
 {
+	return null;
 }

tests/PHPStan/Rules/Debug/DumpTypeRuleTest.php

@@ -54,4 +54,22 @@ public function testRuleInUse(): void
 		]);
 	}
 
+	public function testBug7803(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-7803.php'], [
+			[
+				'Dumped type: int<4, max>',
+				11,
+			],
+			[
+				'Dumped type: non-empty-array<int, string>',
+				12,
+			],
+			[
+				'Dumped type: int<4, max>',
+				13,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Debug/data/bug-7803.php

@@ -0,0 +1,15 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7803;
+
+use function PHPStan\dumpType;
+
+/** @param array<int, string> $headers */
+function headers(array $headers): void
+{
+  if (count($headers) >= 4) {
+	dumpType(count($headers));
+	dumpType($headers);
+	dumpType(count($headers));
+  }
+}