Allow adding Closure as a native property type

vimeo · Feb 4, 2024 · b2a2cd7 · b2a2cd7
1 parent e8b47f7
commit b2a2cd7
Show file tree

Hide file tree

Showing 3 changed files with 28 additions and 2 deletions.
diff --git a/src/Psalm/Internal/Analyzer/ClassAnalyzer.php b/src/Psalm/Internal/Analyzer/ClassAnalyzer.php
@@ -1650,7 +1650,9 @@ private static function addOrUpdatePropertyType(
         $allow_native_type = !$docblock_only
             && $codebase->analysis_php_version_id >= 7_04_00
             && $codebase->allow_backwards_incompatible_changes
-            && !$inferred_type->hasCallableType() // PHP does not support callable properties
+            // PHP does not support callable properties, but does allow Closure properties
+            // hasCallableType() treats Closure as a callable, but getCallableTypes() does not
+            && $inferred_type->getCallableTypes() === []
             ;
 
         $manipulator->setType(

diff --git a/src/Psalm/Type/Atomic/TClosure.php b/src/Psalm/Type/Atomic/TClosure.php
@@ -50,7 +50,8 @@ public function __construct(
 
     public function canBeFullyExpressedInPhp(int $analysis_php_version_id): bool
     {
-        return false;
+        // it can, if it's just 'Closure'
+        return $this->params === null && $this->return_type === null && $this->is_pure === null;
     }
 
     /**

diff --git a/tests/FileManipulation/MissingPropertyTypeTest.php b/tests/FileManipulation/MissingPropertyTypeTest.php
@@ -330,6 +330,29 @@ public function __construct(?callable $u, callable $v) {
                 'issues_to_fix' => ['MissingPropertyType'],
                 'safe_types' => true,
             ],
+            'addClosurePropertyType' => [
+                'input' => <<<'PHP'
+                    <?php
+                    class A {
+                        public $u;
+                        public function __construct(Closure $u) {
+                            $this->u = $u;
+                        }
+                    }
+                PHP,
+                'output' => <<<'PHP'
+                    <?php
+                    class A {
+                        public Closure $u;
+                        public function __construct(Closure $u) {
+                            $this->u = $u;
+                        }
+                    }
+                PHP,
+                'php_version' => '7.4',
+                'issues_to_fix' => ['MissingPropertyType'],
+                'safe_types' => true,
+            ],
         ];
     }
 }