Fix PropertyTypeFromStrictSetterGetterRector for default null

rules-tests/TypeDeclaration/Rector/Class_/PropertyTypeFromStrictSetterGetterRector/Fixture/remove_default_null.php.inc

@@ -0,0 +1,41 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\Class_\PropertyTypeFromStrictSetterGetterRector\Fixture;
+
+final class RemoveDefaultNull
+{
+    private $name = null;
+
+    public function setName(string $name): void
+    {
+        $this->name = $name;
+    }
+
+    public function getName(): string
+    {
+        return $this->name;
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\Class_\PropertyTypeFromStrictSetterGetterRector\Fixture;
+
+final class RemoveDefaultNull
+{
+    private string $name;
+
+    public function setName(string $name): void
+    {
+        $this->name = $name;
+    }
+
+    public function getName(): string
+    {
+        return $this->name;
+    }
+}
+
+?>

rules/TypeDeclaration/Rector/Class_/PropertyTypeFromStrictSetterGetterRector.php

@@ -112,7 +112,12 @@ public function refactor(Node $node): ?Node
                 continue;
             }
 
-            if (! $this->isDefaultExprTypeCompatible($property, $getterSetterPropertyType)) {
+            $hasPropertyDefaultNull = $this->hasPropertyDefaultNull($property);
+
+            if (! $hasPropertyDefaultNull && ! $this->isDefaultExprTypeCompatible(
+                $property,
+                $getterSetterPropertyType
+            )) {
                 continue;
             }
 
@@ -136,7 +141,7 @@ public function refactor(Node $node): ?Node
                 continue;
             }
 
-            $this->decorateDefaultExpr($getterSetterPropertyType, $property);
+            $this->decorateDefaultExpr($getterSetterPropertyType, $property, $hasPropertyDefaultNull);
 
             $property->type = $propertyTypeDeclaration;
             $hasChanged = true;
@@ -194,9 +199,17 @@ private function isDefaultExprTypeCompatible(Property $property, Type $getterSet
         return $defaultExprType->equals($getterSetterPropertyType);
     }
 
-    private function decorateDefaultExpr(Type $getterSetterPropertyType, Property $property): void
-    {
+    private function decorateDefaultExpr(
+        Type $getterSetterPropertyType,
+        Property $property,
+        bool $hasPropertyDefaultNull
+    ): void {
         if (! TypeCombinator::containsNull($getterSetterPropertyType)) {
+            if ($hasPropertyDefaultNull) {
+                // reset to nothign
+                $property->props[0]->default = null;
+            }
+
             return;
         }
 
@@ -209,4 +222,14 @@ private function decorateDefaultExpr(Type $getterSetterPropertyType, Property $p
 
         $propertyProperty->default = new ConstFetch(new Name('null'));
     }
+
+    private function hasPropertyDefaultNull(Property $property): bool
+    {
+        $defaultExpr = $property->props[0]->default ?? null;
+        if (! $defaultExpr instanceof ConstFetch) {
+            return false;
+        }
+
+        return $defaultExpr->name->toLowerString() === 'null';
+    }
 }

src/PHPStanStaticTypeMapper/TypeMapper/StrictMixedTypeMapper.php

@@ -24,8 +24,9 @@
      */
     private const MIXED = 'mixed';
 
-    public function __construct(private PhpVersionProvider $phpVersionProvider)
-    {
+    public function __construct(
+        private PhpVersionProvider $phpVersionProvider
+    ) {
     }
 
     public function getNodeClass(): string