MethodSignatureRuleTest - test conditional return types

tests/PHPStan/Rules/Methods/MethodSignatureRuleTest.php

@@ -367,4 +367,16 @@ public function testMemcachePoolGet(): void
 		$this->analyse([__DIR__ . '/data/memcache-pool-get.php'], []);
 	}
 
+	public function testOverridenMethodWithConditionalReturnType(): void
+	{
+		$this->reportMaybes = true;
+		$this->reportStatic = true;
+		$this->analyse([__DIR__ . '/data/overriden-method-with-conditional-return-type.php'], [
+			[
+				'Return type (stdClass|string) of method OverridenMethodWithConditionalReturnType\Bar2::doFoo() should be covariant with return type (($p is int ? int : string)) of method OverridenMethodWithConditionalReturnType\Foo::doFoo()',
+				37,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Methods/data/overriden-method-with-conditional-return-type.php

@@ -0,0 +1,42 @@
+<?php
+
+namespace OverridenMethodWithConditionalReturnType;
+
+class Foo
+{
+
+	/**
+	 * @return ($p is int ? int : string)
+	 */
+	public function doFoo($p)
+	{
+
+	}
+
+}
+
+class Bar extends Foo
+{
+
+	/**
+	 * @return ($p is int ? int : string)
+	 */
+	public function doFoo($p)
+	{
+
+	}
+
+}
+
+class Bar2 extends Foo
+{
+
+	/**
+	 * @return ($p is int ? \stdClass : string)
+	 */
+	public function doFoo($p)
+	{
+
+	}
+
+}