[PHP81] Skip after is_string on object call on NullToStrictStringFunc…

…CallArgRector (#5572) * [PHP81] Skip after is_string on object call on NullToStrictStringFuncCallArgRector * fix
rectorphp · Feb 7, 2024 · af4d3db · af4d3db
1 parent a76ec29
commit af4d3db
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 3 deletions.
diff --git a/...l/NullToStrictStringFuncCallArgRector/Fixture/skip_after_is_string_on_object_call.php.inc b/...l/NullToStrictStringFuncCallArgRector/Fixture/skip_after_is_string_on_object_call.php.inc
@@ -0,0 +1,14 @@
+<?php
+
+namespace Rector\Tests\Php81\Rector\FuncCall\NullToStrictStringFuncCallArgRector\Fixture;
+
+final class SkipAfterIsStringOnObjectCall
+{
+    public ?string $stringNull = 'foo';
+}
+
+$demo = new SkipAfterIsStringOnObjectCall();
+
+if (is_string($demo->stringNull) && trim($demo->stringNull) !== '') {
+    echo $demo->stringNull;
+}
diff --git a/rules/Php81/Rector/FuncCall/NullToStrictStringFuncCallArgRector.php b/rules/Php81/Rector/FuncCall/NullToStrictStringFuncCallArgRector.php
@@ -188,9 +188,12 @@ private function processNullToStrictStringOnNodePosition(
             return null;
         }
 
-        if (! $type instanceof MixedType && ! $type instanceof NullType && ! ($type instanceof UnionType && $this->unionTypeAnalyzer->isNullable(
-            $type
-        ))) {
+        $nativeType = $this->nodeTypeResolver->getNativeType($argValue);
+        if ($nativeType->isString()->yes()) {
+            return null;
+        }
+
+        if ($this->shouldSkipType($type)) {
             return null;
         }
 
@@ -212,6 +215,13 @@ private function processNullToStrictStringOnNodePosition(
         return $funcCall;
     }
 
+    private function shouldSkipType(Type $type): bool
+    {
+        return ! $type instanceof MixedType &&
+            ! $type instanceof NullType &&
+            ! ($type instanceof UnionType && $this->unionTypeAnalyzer->isNullable($type));
+    }
+
     private function shouldSkipTrait(Expr $expr, Type $type, bool $isTrait): bool
     {
         if (! $type instanceof MixedType) {