[Php80] Fix TernaryToNullsafeCoalesceRector producing redundant nullsafe property access under coalesce

rules-tests/Php80/Rector/Ternary/TernaryToNullsafeCoalesceRector/Fixture/property_coalesce_fallback.php.inc

@@ -0,0 +1,31 @@
+<?php
+
+namespace Rector\Tests\Php80\Rector\Ternary\TernaryToNullsafeCoalesceRector\Fixture;
+
+use Rector\Tests\Php80\Rector\Ternary\TernaryToNullsafeCoalesceRector\Source\SomeObject;
+
+final class PropertyCoalesceFallback
+{
+    public function run(?SomeObject $someObject): string
+    {
+        return null !== $someObject ? $someObject->name : 'fallback';
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\Php80\Rector\Ternary\TernaryToNullsafeCoalesceRector\Fixture;
+
+use Rector\Tests\Php80\Rector\Ternary\TernaryToNullsafeCoalesceRector\Source\SomeObject;
+
+final class PropertyCoalesceFallback
+{
+    public function run(?SomeObject $someObject): string
+    {
+        return $someObject->name ?? 'fallback';
+    }
+}
+
+?>

rules/Php80/Rector/Ternary/TernaryToNullsafeCoalesceRector.php

@@ -105,6 +105,13 @@ public function refactor(Node $node): ?Node
             return null;
         }
 
+        // reading a property on null is already suppressed by "??", so the nullsafe "?->" is
+        // redundant here and PHPStan reports it; keep the plain "->" chain for property-only
+        // access, while a method call must stay nullsafe to avoid a call-on-null error
+        if ($this->isPurePropertyChain($callExpr, $checkedExpr)) {
+            return new Coalesce($callExpr, $fallbackExpr);
+        }
+
         return new Coalesce($nullsafeExpr, $fallbackExpr);
     }
 
@@ -168,6 +175,23 @@ private function createNullsafeChain(Expr $expr, Expr $checkedExpr): ?Expr
         return null;
     }
 
+    /**
+     * A chain of plain property fetches rooted in the checked expression, e.g. "$a->b->c",
+     * with no method call in between.
+     */
+    private function isPurePropertyChain(Expr $expr, Expr $checkedExpr): bool
+    {
+        if ($this->nodeComparator->areNodesEqual($expr, $checkedExpr)) {
+            return true;
+        }
+
+        if ($expr instanceof PropertyFetch) {
+            return $this->isPurePropertyChain($expr->var, $checkedExpr);
+        }
+
+        return false;
+    }
+
     private function isPureExpr(Expr $expr): bool
     {
         if ($expr instanceof Variable) {