Add a stub file for Attributes defined by PHP

vimeo · Jun 17, 2023 · 5fc48bb · 5fc48bb
1 parent eb64a47
commit 5fc48bb
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 12 deletions.
diff --git a/src/Psalm/Config.php b/src/Psalm/Config.php
@@ -2236,6 +2236,8 @@ public function visitStubFiles(Codebase $codebase, ?Progress $progress = null):
         ];
 
         if ($codebase->analysis_php_version_id >= 8_00_00) {
+            $stringable_path = $dir_lvl_2 . DIRECTORY_SEPARATOR . 'stubs' . DIRECTORY_SEPARATOR . 'CoreGenericAttributes.phpstub';
+            $this->internal_stubs[] = $stringable_path;
             $stringable_path = $dir_lvl_2 . DIRECTORY_SEPARATOR . 'stubs' . DIRECTORY_SEPARATOR . 'Php80.phpstub';
             $this->internal_stubs[] = $stringable_path;
         }

diff --git a/stubs/CoreGenericAttributes.phpstub b/stubs/CoreGenericAttributes.phpstub
@@ -0,0 +1,13 @@
+<?php
+
+#[Attribute(Attribute::TARGET_CLASS)]
+final class AllowDynamicProperties
+{
+    public function __construct() {}
+}
+
+#[Attribute(Attribute::TARGET_PARAMETER)]
+final class SensitiveParameter
+{
+    public function __construct() {}
+}
diff --git a/stubs/Php82.phpstub b/stubs/Php82.phpstub
@@ -34,18 +34,6 @@ namespace {
         public function getIterator(): Iterator {}
     }
 
-    #[Attribute(Attribute::TARGET_PARAMETER)]
-    final class SensitiveParameter
-    {
-        public function __construct() {}
-    }
-
-    #[Attribute(Attribute::TARGET_CLASS)]
-    final class AllowDynamicProperties
-    {
-        public function __construct() {}
-    }
-
     /**
     * @psalm-pure
     * @param positive-int $length