[DeadCode] Skip from call with return docblock on ReduceAlwaysFalseIf…

…OrRector (#6361)

* [DeadCode] Skip from call with return docblock on ReduceAlwaysFalseIfOrRector

* add native

rules-tests/DeadCode/Rector/If_/ReduceAlwaysFalseIfOrRector/Fixture/from_call_with_native_return.php.inc

@@ -0,0 +1,51 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\If_\ReduceAlwaysFalseIfOrRector\Fixture;
+
+class FromCallWithNativeReturn
+{
+    /**
+     * @return \DateTime
+     */
+    private function get(): \DateTime
+    {
+        return new \DateTime('now');
+    }
+
+    public function run($number)
+    {
+        if (! $this->get() || $number > 50) {
+            return 'yes';
+        }
+
+        return 'no';
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\If_\ReduceAlwaysFalseIfOrRector\Fixture;
+
+class FromCallWithNativeReturn
+{
+    /**
+     * @return \DateTime
+     */
+    private function get(): \DateTime
+    {
+        return new \DateTime('now');
+    }
+
+    public function run($number)
+    {
+        if ($number > 50) {
+            return 'yes';
+        }
+
+        return 'no';
+    }
+}
+
+?>

rules-tests/DeadCode/Rector/If_/ReduceAlwaysFalseIfOrRector/Fixture/skip_from_call_with_return_docblock.php.inc

@@ -0,0 +1,23 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\If_\ReduceAlwaysFalseIfOrRector\Fixture;
+
+class SkipFromCallWithReturnDocblock
+{
+    /**
+     * @return \DateTime
+     */
+    private function get()
+    {
+        return null;
+    }
+
+    public function run($number)
+    {
+        if (! $this->get() || $number > 50) {
+            return 'yes';
+        }
+
+        return 'no';
+    }
+}

rules/DeadCode/NodeAnalyzer/SafeLeftTypeBooleanAndOrAnalyzer.php

@@ -8,12 +8,15 @@
 use PhpParser\Node\Expr\ArrayDimFetch;
 use PhpParser\Node\Expr\BinaryOp\BooleanAnd;
 use PhpParser\Node\Expr\BinaryOp\BooleanOr;
+use PhpParser\Node\Expr\CallLike;
 use PhpParser\Node\Expr\Instanceof_;
 use PhpParser\Node\Expr\PropertyFetch;
 use PhpParser\Node\Expr\StaticPropertyFetch;
 use PhpParser\Node\Expr\Variable;
 use PHPStan\Reflection\ClassReflection;
+use PHPStan\Type\MixedType;
 use Rector\NodeAnalyzer\ExprAnalyzer;
+use Rector\NodeTypeResolver\NodeTypeResolver;
 use Rector\PhpParser\Node\BetterNodeFinder;
 use Rector\Reflection\ReflectionResolver;
 
@@ -22,7 +25,8 @@
     public function __construct(
         private readonly BetterNodeFinder $betterNodeFinder,
         private readonly ExprAnalyzer $exprAnalyzer,
-        private readonly ReflectionResolver $reflectionResolver
+        private readonly ReflectionResolver $reflectionResolver,
+        private readonly NodeTypeResolver $nodeTypeResolver,
     ) {
     }
 
@@ -53,6 +57,16 @@ public function isSafe(BooleanAnd|BooleanOr $booleanAnd): bool
             return ! $booleanAnd->left instanceof Instanceof_;
         }
 
-        return true;
+        return ! (bool) $this->betterNodeFinder->findFirst(
+            $booleanAnd->left,
+            function (Node $node): bool {
+                if (! $node instanceof CallLike) {
+                    return false;
+                }
+
+                $nativeType = $this->nodeTypeResolver->getNativeType($node);
+                return $nativeType instanceof MixedType && ! $nativeType->isExplicitMixed();
+            }
+        );
     }
 }