Make $http_response_header a non-empty-list

vimeo · Dec 24, 2022 · 87012cc · 87012cc
1 parent a76a1d1
commit 87012cc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/VariableFetchAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/VariableFetchAnalyzer.php
@@ -612,7 +612,7 @@ private static function getGlobalTypeInner(string $var_id, bool $files_full_path
         }
 
         if ($var_id === '$http_response_header') {
-            return Type::getList(Type::getNonEmptyString());
+            return Type::getNonEmptyList(Type::getNonEmptyString());
         }
 
         if ($var_id === '$GLOBALS') {

diff --git a/tests/SuperGlobalsTest.php b/tests/SuperGlobalsTest.php
@@ -12,7 +12,7 @@ public function providerValidCodeParse(): iterable
     {
         yield 'http_response_headerIsList' => [
             'code' => '<?php
-                /** @return list<string> */
+                /** @return non-empty-list<non-empty-string> */
                 function returnsList(): array {
                     return $http_response_header;
                 }