Allow type aliases for static variables

Fixes #3837

src/Psalm/Internal/Analyzer/CommentAnalyzer.php

@@ -432,6 +432,10 @@ final class CommentAnalyzer
         $var_comments = [];
 
         try {
+            $file_path = $statements_analyzer->getRootFilePath();
+            $file_storage_provider = $codebase->file_storage_provider;
+            $file_storage = $file_storage_provider->get($file_path);
+
             $var_comments = $codebase->config->disable_var_parsing
                 ? []
                 : self::arrayToDocblocks(
@@ -440,6 +444,7 @@ final class CommentAnalyzer
                     $statements_analyzer->getSource(),
                     $statements_analyzer->getSource()->getAliases(),
                     $statements_analyzer->getSource()->getTemplateTypeMap(),
+                    $file_storage->type_aliases,
                 );
         } catch (IncorrectDocblockException $e) {
             IssueBuffer::maybeAdd(

tests/AnnotationTest.php

@@ -1013,6 +1013,21 @@ class AnnotationTest extends TestCase
                         return json_decode($json, true);
                     }',
             ],
+            'psalmTypeAnnotationForStaticVar' => [
+                'code' => '<?php
+                    /**
+                     * @psalm-type _Type A::TYPE_*
+                     */
+                    class A{
+                        const TYPE_A = 1;
+                        const TYPE_B = 2;
+
+                        public function f(): void {
+                            /** @psalm-var _Type $var*/
+                            static $var;
+                        }
+                    }',
+            ],
             'allowDocblockDefinedTKeyedArrayIntoNonEmpty' => [
                 'code' => '<?php
                     /** @param non-empty-array $_bar */