test instance-method calls and function calls

Author: staabm

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -1179,4 +1179,10 @@ public function testBug14177(): void
 		$this->analyse([__DIR__ . '/data/bug-14177.php'], []);
 	}
 
+	public function testBug13566(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-13566.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeMethodCallRuleTest.php

@@ -290,6 +290,12 @@ public function testBug12087b(): void
 		]);
 	}
 
+	public function testBug13566(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-13566.php'], []);
+	}
+
 	public static function getAdditionalConfigFiles(): array
 	{
 		return [

tests/PHPStan/Rules/Comparison/data/bug-13566.php

@@ -105,3 +105,45 @@ public function test(): void
 
 	}
 }
+
+
+
+class ReturnsWithInstanceMethod
+{
+	/** @return ($exit is true ? never-return : void) */
+	public function notFound(bool $exit = true): void
+	{
+		header('HTTP/1.1 404 Not Found', true, 404);
+
+		if ($exit) {
+			echo '404 Not Found';
+			exit;
+		}
+	}
+
+
+	public function test(): void
+	{
+		// send 404 header
+		$this->notFound(false);
+
+	}
+}
+
+/** @return ($exit is true ? never-return : void) */
+function notFound(bool $exit = true): void
+{
+	header('HTTP/1.1 404 Not Found', true, 404);
+
+	if ($exit) {
+		echo '404 Not Found';
+		exit;
+	}
+}
+
+function test(): void
+{
+	// send 404 header
+	notFound(false);
+
+}