diff --git a/src/Psalm/Config.php b/src/Psalm/Config.php index fc9766497..23df8dfde 100644 --- a/src/Psalm/Config.php +++ b/src/Psalm/Config.php @@ -2236,6 +2236,8 @@ class Config ]; 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 new file mode 100644 index 000000000..7aa6400df --- /dev/null +++ b/stubs/CoreGenericAttributes.phpstub @@ -0,0 +1,13 @@ +