fix: SafeDeclareStrictTypesRector

phpstan.neon

@@ -68,6 +68,9 @@ parameters:
         # phpstan class constant value
         - identifier: phpstanApi.classConstant
 
+        # phpstan class construction
+        - identifier: phpstanApi.constructor
+
         # phpstan instanceof
         - identifier: phpstanApi.instanceofAssumption
 

rules-tests/TypeDeclaration/Rector/StmtsAwareInterface/SafeDeclareStrictTypesRector/Fixture/skip_mixed_passed_to_round.php.inc

@@ -0,0 +1,8 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\StmtsAwareInterface\SafeDeclareStrictTypesRector\Fixture;
+
+function skip_mixed_passed_to_round(array $data): float
+{
+    return round($data['value'], 2);
+}

rules/TypeDeclaration/NodeAnalyzer/StrictTypeSafetyChecker.php

@@ -18,6 +18,7 @@
 use PHPStan\Reflection\Php\PhpPropertyReflection;
 use PHPStan\Type\MixedType;
 use PHPStan\Type\NeverType;
+use PHPStan\Type\StrictMixedType;
 use PHPStan\Type\Type;
 use Rector\NodeTypeResolver\NodeTypeResolver;
 use Rector\NodeTypeResolver\PHPStan\ParametersAcceptorSelectorVariantsWrapper;
@@ -197,6 +198,11 @@ private function isPropertyAssignSafe(Assign $assign): bool
 
     private function isTypeSafeForStrictMode(Type $declaredType, Type $valueType): bool
     {
+        // need to be strict with mixed to avoid false positives
+        if ($valueType instanceof MixedType) {
+            $valueType = new StrictMixedType();
+        }
+
         return $declaredType->accepts($valueType, strictTypes: true)
             ->yes();
     }