Added regression test

Author: staabm

tests/PHPStan/Rules/DeadCode/UnreachableStatementRuleTest.php

@@ -361,6 +361,12 @@ public function testBug13311(): void
 		$this->analyse([__DIR__ . '/data/bug-13311.php'], []);
 	}
 
+	public function testBug13307(): void
+	{
+		$this->treatPhpDocTypesAsCertain = false;
+		$this->analyse([__DIR__ . '/data/bug-13307.php'], []);
+	}
+
 	public function testBug13331(): void
 	{
 		$this->treatPhpDocTypesAsCertain = false;

tests/PHPStan/Rules/DeadCode/data/bug-13307.php

@@ -0,0 +1,24 @@
+<?php
+
+namespace Bug13307;
+
+function dd(): never {
+	exit(1);
+}
+
+class HelloWorld
+{
+	public function testMethod(): string
+	{
+		var_dump("dd");
+
+		return "test";
+	}
+
+	public function testMethod2(): string
+	{
+		var_dump("DD");
+
+		return "test";
+	}
+}