diff --git a/rules-tests/DeadCode/Rector/ClassMethod/RemoveUselessUnionReturnDocblockRector/Fixture/skip_nullable_array_native.php.inc b/rules-tests/DeadCode/Rector/ClassMethod/RemoveUselessUnionReturnDocblockRector/Fixture/skip_nullable_array_native.php.inc
new file mode 100644
index 00000000000..bf53ea289de
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/ClassMethod/RemoveUselessUnionReturnDocblockRector/Fixture/skip_nullable_array_native.php.inc
@@ -0,0 +1,13 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\ClassMethod\RemoveUselessUnionReturnDocblockRector\Fixture;
+
+final class SkipNullableArrayNative
+{
+    /**
+     * @return mixed[]|null
+     */
+    public function run(): ?array
+    {
+    }
+}
diff --git a/rules-tests/DeadCode/Rector/ClassMethod/RemoveUselessUnionReturnDocblockRector/Fixture/skip_union_with_array_native.php.inc b/rules-tests/DeadCode/Rector/ClassMethod/RemoveUselessUnionReturnDocblockRector/Fixture/skip_union_with_array_native.php.inc
new file mode 100644
index 00000000000..0666c3ff17d
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/ClassMethod/RemoveUselessUnionReturnDocblockRector/Fixture/skip_union_with_array_native.php.inc
@@ -0,0 +1,13 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\ClassMethod\RemoveUselessUnionReturnDocblockRector\Fixture;
+
+final class SkipUnionWithArrayNative
+{
+    /**
+     * @return string|mixed[]|int
+     */
+    public function run(): string|array|int
+    {
+    }
+}
diff --git a/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/narrow_bool_to_false.php.inc b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/narrow_bool_to_false.php.inc
new file mode 100644
index 00000000000..3b904560b93
--- /dev/null
+++ b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/narrow_bool_to_false.php.inc
@@ -0,0 +1,33 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+class NarrowBoolToFalse
+{
+    /**
+     * @return bool|string[]
+     */
+    public function run(): false|array
+    {
+        return false;
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+class NarrowBoolToFalse
+{
+    /**
+     * @return false|string[]
+     */
+    public function run(): false|array
+    {
+        return false;
+    }
+}
+
+?>
diff --git a/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/narrow_bool_to_true.php.inc b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/narrow_bool_to_true.php.inc
new file mode 100644
index 00000000000..35760c376f6
--- /dev/null
+++ b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/narrow_bool_to_true.php.inc
@@ -0,0 +1,33 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+class NarrowBoolToTrue
+{
+    /**
+     * @return bool|int[]
+     */
+    public function run(): true|array
+    {
+        return true;
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+class NarrowBoolToTrue
+{
+    /**
+     * @return true|int[]
+     */
+    public function run(): true|array
+    {
+        return true;
+    }
+}
+
+?>
diff --git a/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/narrow_function.php.inc b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/narrow_function.php.inc
new file mode 100644
index 00000000000..a600e879cf6
--- /dev/null
+++ b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/narrow_function.php.inc
@@ -0,0 +1,27 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+/**
+ * @return bool|string[]
+ */
+function narrowFunctionReturn(): false|array
+{
+    return false;
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+/**
+ * @return false|string[]
+ */
+function narrowFunctionReturn(): false|array
+{
+    return false;
+}
+
+?>
diff --git a/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_already_has_constant.php.inc b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_already_has_constant.php.inc
new file mode 100644
index 00000000000..bffeaae0f8a
--- /dev/null
+++ b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_already_has_constant.php.inc
@@ -0,0 +1,14 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+class SkipAlreadyHasConstant
+{
+    /**
+     * @return false|bool|string[]
+     */
+    public function run(): false|array
+    {
+        return false;
+    }
+}
diff --git a/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_native_bool.php.inc b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_native_bool.php.inc
new file mode 100644
index 00000000000..cd722a3e041
--- /dev/null
+++ b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_native_bool.php.inc
@@ -0,0 +1,14 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+class SkipNativeBool
+{
+    /**
+     * @return bool|string[]
+     */
+    public function run(): bool|array
+    {
+        return false;
+    }
+}
diff --git a/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_native_false_and_true.php.inc b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_native_false_and_true.php.inc
new file mode 100644
index 00000000000..ceeec7d0a14
--- /dev/null
+++ b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_native_false_and_true.php.inc
@@ -0,0 +1,14 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+class SkipNativeFalseAndTrue
+{
+    /**
+     * @return bool|string[]
+     */
+    public function run(): false|true|array
+    {
+        return false;
+    }
+}
diff --git a/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_no_bool_in_docblock.php.inc b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_no_bool_in_docblock.php.inc
new file mode 100644
index 00000000000..23a9b22dec5
--- /dev/null
+++ b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_no_bool_in_docblock.php.inc
@@ -0,0 +1,14 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+class SkipNoBoolInDocblock
+{
+    /**
+     * @return false|string[]
+     */
+    public function run(): false|array
+    {
+        return false;
+    }
+}
diff --git a/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_no_docblock.php.inc b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_no_docblock.php.inc
new file mode 100644
index 00000000000..d8fa1f607f2
--- /dev/null
+++ b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_no_docblock.php.inc
@@ -0,0 +1,11 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+class SkipNoDocblock
+{
+    public function run(): false|array
+    {
+        return false;
+    }
+}
diff --git a/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_nullable_array_no_bool.php.inc b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_nullable_array_no_bool.php.inc
new file mode 100644
index 00000000000..a77010c2358
--- /dev/null
+++ b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_nullable_array_no_bool.php.inc
@@ -0,0 +1,14 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+class SkipNullableArrayNoBool
+{
+    /**
+     * @return mixed[]|null
+     */
+    private function extractConstantArrayTypeValue(array $values): ?array
+    {
+        return $values;
+    }
+}
diff --git a/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_union_without_bool.php.inc b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_union_without_bool.php.inc
new file mode 100644
index 00000000000..157a83e9871
--- /dev/null
+++ b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/Fixture/skip_union_without_bool.php.inc
@@ -0,0 +1,14 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\Fixture;
+
+class SkipUnionWithoutBool
+{
+    /**
+     * @return string|array<mixed>|int
+     */
+    private function parseValue(string $value): string|array|int
+    {
+        return $value;
+    }
+}
diff --git a/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/NarrowBoolDocblockReturnTypeRectorTest.php b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/NarrowBoolDocblockReturnTypeRectorTest.php
new file mode 100644
index 00000000000..daf7eae25a5
--- /dev/null
+++ b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/NarrowBoolDocblockReturnTypeRectorTest.php
@@ -0,0 +1,28 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector;
+
+use Iterator;
+use PHPUnit\Framework\Attributes\DataProvider;
+use Rector\Testing\PHPUnit\AbstractRectorTestCase;
+
+final class NarrowBoolDocblockReturnTypeRectorTest extends AbstractRectorTestCase
+{
+    #[DataProvider('provideData')]
+    public function test(string $filePath): void
+    {
+        $this->doTestFile($filePath);
+    }
+
+    public static function provideData(): Iterator
+    {
+        return self::yieldFilesFromDirectory(__DIR__ . '/Fixture');
+    }
+
+    public function provideConfigFilePath(): string
+    {
+        return __DIR__ . '/config/configured_rule.php';
+    }
+}
diff --git a/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/config/configured_rule.php b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/config/configured_rule.php
new file mode 100644
index 00000000000..b736f9f0624
--- /dev/null
+++ b/rules-tests/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector/config/configured_rule.php
@@ -0,0 +1,10 @@
+<?php
+
+declare(strict_types=1);
+
+use Rector\Config\RectorConfig;
+use Rector\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector;
+
+return static function (RectorConfig $rectorConfig): void {
+    $rectorConfig->rule(NarrowBoolDocblockReturnTypeRector::class);
+};
diff --git a/rules/DeadCode/Rector/ClassMethod/RemoveUselessUnionReturnDocblockRector.php b/rules/DeadCode/Rector/ClassMethod/RemoveUselessUnionReturnDocblockRector.php
index d6d713e751a..561a2689a75 100644
--- a/rules/DeadCode/Rector/ClassMethod/RemoveUselessUnionReturnDocblockRector.php
+++ b/rules/DeadCode/Rector/ClassMethod/RemoveUselessUnionReturnDocblockRector.php
@@ -106,8 +106,8 @@ public function refactor(Node $node): ?Node
 
         $nativeReturnType = $this->staticTypeMapper->mapPhpParserNodePHPStanType($node->returnType);
 
-        // keep array native type, the docblock may carry element types
-        if ($nativeReturnType->isArray()->yes()) {
+        // keep array-involving native type (array, ?array, union with array), the docblock may carry element types
+        if (! $nativeReturnType->isArray()->no()) {
             return null;
         }
 
diff --git a/rules/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector.php b/rules/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector.php
new file mode 100644
index 00000000000..ad9a39a75ba
--- /dev/null
+++ b/rules/TypeDeclaration/Rector/ClassMethod/NarrowBoolDocblockReturnTypeRector.php
@@ -0,0 +1,171 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Rector\TypeDeclaration\Rector\ClassMethod;
+
+use PhpParser\Node;
+use PhpParser\Node\Identifier;
+use PhpParser\Node\Stmt\ClassMethod;
+use PhpParser\Node\Stmt\Function_;
+use PhpParser\Node\UnionType;
+use PHPStan\PhpDocParser\Ast\PhpDoc\ReturnTagValueNode;
+use PHPStan\PhpDocParser\Ast\Type\IdentifierTypeNode;
+use PHPStan\PhpDocParser\Ast\Type\UnionTypeNode;
+use Rector\BetterPhpDocParser\PhpDocInfo\PhpDocInfo;
+use Rector\BetterPhpDocParser\PhpDocInfo\PhpDocInfoFactory;
+use Rector\Comments\NodeDocBlock\DocBlockUpdater;
+use Rector\Rector\AbstractRector;
+use Symplify\RuleDocGenerator\ValueObject\CodeSample\CodeSample;
+use Symplify\RuleDocGenerator\ValueObject\RuleDefinition;
+
+/**
+ * @see \Rector\Tests\TypeDeclaration\Rector\ClassMethod\NarrowBoolDocblockReturnTypeRector\NarrowBoolDocblockReturnTypeRectorTest
+ */
+final class NarrowBoolDocblockReturnTypeRector extends AbstractRector
+{
+    public function __construct(
+        private readonly PhpDocInfoFactory $phpDocInfoFactory,
+        private readonly DocBlockUpdater $docBlockUpdater,
+    ) {
+    }
+
+    public function getRuleDefinition(): RuleDefinition
+    {
+        return new RuleDefinition(
+            'Narrow @return docblock "bool" to "false" or "true" when the native return type only allows one of them',
+            [
+                new CodeSample(
+                    <<<'CODE_SAMPLE'
+class SomeClass
+{
+    /**
+     * @return bool|string[]
+     */
+    public function run(): false|array
+    {
+        return false;
+    }
+}
+CODE_SAMPLE
+                    ,
+                    <<<'CODE_SAMPLE'
+class SomeClass
+{
+    /**
+     * @return false|string[]
+     */
+    public function run(): false|array
+    {
+        return false;
+    }
+}
+CODE_SAMPLE
+                ),
+            ],
+        );
+    }
+
+    public function getNodeTypes(): array
+    {
+        return [ClassMethod::class, Function_::class];
+    }
+
+    /**
+     * @param ClassMethod|Function_ $node
+     */
+    public function refactor(Node $node): null|ClassMethod|Function_
+    {
+        $constantBoolName = $this->matchNativeConstantBoolName($node);
+        if ($constantBoolName === null) {
+            return null;
+        }
+
+        $phpDocInfo = $this->phpDocInfoFactory->createFromNode($node);
+        if (! $phpDocInfo instanceof PhpDocInfo) {
+            return null;
+        }
+
+        $returnTagValueNode = $phpDocInfo->getReturnTagValue();
+        if (! $returnTagValueNode instanceof ReturnTagValueNode) {
+            return null;
+        }
+
+        if (! $returnTagValueNode->type instanceof UnionTypeNode) {
+            return null;
+        }
+
+        if (! $this->narrowBoolInUnion($returnTagValueNode->type, $constantBoolName)) {
+            return null;
+        }
+
+        $this->docBlockUpdater->updateRefactoredNodeWithPhpDocInfo($node);
+
+        return $node;
+    }
+
+    /**
+     * Returns "false" or "true" when the native return type allows exactly one of them, null otherwise.
+     */
+    private function matchNativeConstantBoolName(ClassMethod|Function_ $node): ?string
+    {
+        $returnType = $node->returnType;
+        if (! $returnType instanceof UnionType) {
+            return null;
+        }
+
+        $hasFalse = false;
+        $hasTrue = false;
+
+        foreach ($returnType->types as $type) {
+            if (! $type instanceof Identifier) {
+                continue;
+            }
+
+            $lowerName = $type->toLowerString();
+            if ($lowerName === 'bool') {
+                // ambiguous, both values possible
+                return null;
+            }
+
+            if ($lowerName === 'false') {
+                $hasFalse = true;
+            }
+
+            if ($lowerName === 'true') {
+                $hasTrue = true;
+            }
+        }
+
+        if ($hasFalse && ! $hasTrue) {
+            return 'false';
+        }
+
+        if ($hasTrue && ! $hasFalse) {
+            return 'true';
+        }
+
+        return null;
+    }
+
+    private function narrowBoolInUnion(UnionTypeNode $unionTypeNode, string $constantBoolName): bool
+    {
+        // already contains the constant? replacing "bool" would create a duplicate
+        foreach ($unionTypeNode->types as $typeNode) {
+            if ($typeNode instanceof IdentifierTypeNode && $typeNode->name === $constantBoolName) {
+                return false;
+            }
+        }
+
+        $hasChanged = false;
+
+        foreach ($unionTypeNode->types as $key => $typeNode) {
+            if ($typeNode instanceof IdentifierTypeNode && $typeNode->name === 'bool') {
+                $unionTypeNode->types[$key] = new IdentifierTypeNode($constantBoolName);
+                $hasChanged = true;
+            }
+        }
+
+        return $hasChanged;
+    }
+}
diff --git a/src/Caching/ValueObject/Storage/MemoryCacheStorage.php b/src/Caching/ValueObject/Storage/MemoryCacheStorage.php
index 65e24c37f13..c3e4ecf1a31 100644
--- a/src/Caching/ValueObject/Storage/MemoryCacheStorage.php
+++ b/src/Caching/ValueObject/Storage/MemoryCacheStorage.php
@@ -17,9 +17,6 @@ final class MemoryCacheStorage implements CacheStorageInterface
      */
     private array $storage = [];
 
-    /**
-     * @return null|mixed
-     */
     public function load(string $key, string $variableKey): mixed
     {
         if (! isset($this->storage[$key])) {
diff --git a/src/PhpAttribute/AnnotationToAttributeMapper.php b/src/PhpAttribute/AnnotationToAttributeMapper.php
index ac8cbad06e1..26825226509 100644
--- a/src/PhpAttribute/AnnotationToAttributeMapper.php
+++ b/src/PhpAttribute/AnnotationToAttributeMapper.php
@@ -29,9 +29,6 @@ public function __construct(
         Assert::notEmpty($annotationToAttributeMappers);
     }
 
-    /**
-     * @return mixed|DocTagNodeState::REMOVE_ARRAY
-     */
     public function map(mixed $value): mixed
     {
         foreach ($this->annotationToAttributeMappers as $annotationToAttributeMapper) {