[CodeQuality] Skip with if else on AddInstanceofAssertForNullableInstanceRector

Author: samsonasik

rules-tests/CodeQuality/Rector/ClassMethod/AddInstanceofAssertForNullableInstanceRector/Fixture/skip_with_if_else.php.inc

@@ -0,0 +1,37 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Rector\PHPUnit\Tests\CodeQuality\Rector\ClassMethod\AddInstanceofAssertForNullableInstanceRector\Fixture;
+
+use PHPUnit\Framework\TestCase;
+use Rector\PHPUnit\Tests\CodeQuality\Rector\ClassMethod\AddInstanceofAssertForNullableInstanceRector\Source\SomeClassUsedInTests;
+
+final class SkipWithIfElse extends TestCase
+{
+    public function test(): void
+    {
+        $someObject = $this->getSomeObject();
+        $value = $someObject->getSomeMethod();
+
+        if ($value !== null) {
+            $this->assertSame(123, $value);
+
+            // we know the value here, no need to add instanceof
+            $value = $someObject->getSomeMethod();
+        } else {
+            $this->assertNull($value);
+        }
+    }
+
+    private function getSomeObject(): ?SomeClassUsedInTests
+    {
+        if (mt_rand(0, 1)) {
+            return new SomeClassUsedInTests();
+        }
+
+        return null;
+    }
+}
+
+?>

rules/CodeQuality/NodeAnalyser/NullableObjectAssignCollector.php

@@ -37,7 +37,7 @@ public function collect(ClassMethod|Foreach_ $stmtsAware): VariableNameToTypeCol
         // first round to collect assigns
         foreach ((array) $stmtsAware->stmts as $stmt) {
             if (! $stmt instanceof Expression) {
-                continue;
+                return new VariableNameToTypeCollection([]);
             }
 
             if (! $stmt->expr instanceof Assign) {