added regression test

Author: staabm

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeMethodCallRuleTest.php

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

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

@@ -0,0 +1,62 @@
+<?php declare(strict_types=1);
+
+namespace Bug10337;
+
+use function PHPStan\Testing\assertType;
+
+class App
+{
+	/**
+	 * @return ($calledFromShutdownHandler is true ? void : never)
+	 */
+	public function callExit(bool $calledFromShutdownHandler = false): void
+	{
+		// run before shutdown code here
+
+		if (!$calledFromShutdownHandler) {
+			exit;
+		}
+	}
+
+	public function testOnlyVoid(): void
+	{
+		(new App())->callExit(true);
+	}
+
+	/**
+	 * @return never
+	 */
+	public function testVoidAndNever(): void
+	{
+		$app = new App();
+		assertType('null', $app->callExit(true));
+		assertType('never', $app->callExit(false));
+	}
+
+	/**
+	 * @return never
+	 */
+	public function testVoidAndNever2(): void
+	{
+		$app = new class() extends App {
+		};
+		assertType('null', $app->callExit(true));
+		assertType('never', $app->callExit(false));
+	}
+
+	/**
+	 * @return never
+	 */
+	public function testVoidAndNever3(): void
+	{
+		$app = new class() extends App {
+			#[\Override]
+			public function callExit(bool $calledFromShutdownHandler = false): void
+			{
+				parent::callExit($calledFromShutdownHandler);
+			}
+		};
+		assertType('null', $app->callExit(true));
+		assertType('never', $app->callExit(false));
+	}
+}