Inherit PHPDoc return type in child method with narrower native return type

src/Analyser/NodeScopeResolver.php

@@ -7025,6 +7025,23 @@ private function getPhpDocReturnType(ResolvedPhpDocBlock $resolvedPhpDoc, Type $
 			return $phpDocReturnType;
 		}
 
+		if ($phpDocReturnType instanceof UnionType) {
+			$types = [];
+			foreach ($phpDocReturnType->getTypes() as $innerType) {
+				if (!$nativeReturnType->isSuperTypeOf($innerType)->yes()) {
+					continue;
+				}
+
+				$types[] = $innerType;
+			}
+
+			if (count($types) === 0) {
+				return null;
+			}
+
+			return TypeCombinator::union(...$types);
+		}
+
 		return null;
 	}
 

src/Reflection/Php/PhpClassReflectionExtension.php

@@ -53,6 +53,7 @@
 use PHPStan\Type\Type;
 use PHPStan\Type\TypeCombinator;
 use PHPStan\Type\TypehintHelper;
+use PHPStan\Type\UnionType;
 use function array_key_exists;
 use function array_keys;
 use function array_map;
@@ -1241,10 +1242,31 @@ private function getPhpDocReturnType(ClassReflection $phpDocBlockClassReflection
 			TemplateTypeVariance::createCovariant(),
 		);
 
-		if ($returnTag->isExplicit() || $nativeReturnType->isSuperTypeOf($phpDocReturnType)->yes()) {
+		if ($returnTag->isExplicit()) {
 			return $phpDocReturnType;
 		}
 
+		if ($nativeReturnType->isSuperTypeOf($phpDocReturnType)->yes()) {
+			return $phpDocReturnType;
+		}
+
+		if ($phpDocReturnType instanceof UnionType) {
+			$types = [];
+			foreach ($phpDocReturnType->getTypes() as $innerType) {
+				if (!$nativeReturnType->isSuperTypeOf($innerType)->yes()) {
+					continue;
+				}
+
+				$types[] = $innerType;
+			}
+
+			if (count($types) === 0) {
+				return null;
+			}
+
+			return TypeCombinator::union(...$types);
+		}
+
 		return null;
 	}
 

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -172,6 +172,8 @@ private static function findTestFiles(): iterable
 		yield __DIR__ . '/../Rules/Arrays/data/slevomat-foreach-unset-bug.php';
 		yield __DIR__ . '/../Rules/Arrays/data/slevomat-foreach-array-key-exists-bug.php';
 
+		yield __DIR__ . '/../Rules/Methods/data/inherit-phpdoc-return-type-with-narrower-native-return-type.php';
+
 		if (PHP_VERSION_ID >= 80000) {
 			yield __DIR__ . '/../Rules/Comparison/data/bug-7898.php';
 		}

tests/PHPStan/Analyser/nsrt/inherit-phpdoc-return-type-with-narrower-native-return-type-php8.php

@@ -0,0 +1,32 @@
+<?php // lint >= 8.0
+
+namespace InheritPhpDocReturnTypeWithNarrowerNativeReturnTypePhp8;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+
+	/**
+	 * @return array<string>|positive-int|null
+	 */
+	public function doFoo(): array|int|null
+	{
+
+	}
+
+}
+
+class Bar extends Foo
+{
+
+	public function doFoo(): array|int
+	{
+
+	}
+
+}
+
+function (Bar $bar): void {
+	assertType('array<string>|int<1, max>', $bar->doFoo());
+};

tests/PHPStan/Rules/Methods/MissingMethodReturnTypehintRuleTest.php

@@ -118,4 +118,9 @@ public function testBug9657(): void
 		$this->analyse([__DIR__ . '/data/bug-9657.php'], []);
 	}
 
+	public function testInheritPhpDocReturnTypeWithNarrowerNativeReturnType(): void
+	{
+		$this->analyse([__DIR__ . '/data/inherit-phpdoc-return-type-with-narrower-native-return-type.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Methods/data/inherit-phpdoc-return-type-with-narrower-native-return-type.php

@@ -0,0 +1,32 @@
+<?php
+
+namespace InheritPhpDocReturnTypeWithNarrowerNativeReturnType;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+
+	/**
+	 * @return array<string>|null
+	 */
+	public function doFoo(): ?array
+	{
+
+	}
+
+}
+
+class Bar extends Foo
+{
+
+	public function doFoo(): array
+	{
+
+	}
+
+}
+
+function (Bar $bar): void {
+	assertType('array<string>', $bar->doFoo());
+};