Merge pull request #6104 from staabm/patch-3

vimeo · Jul 15, 2021 · c5190f0 · c5190f0
2 parents 35b6a93 + e037c44
commit c5190f0
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/stubs/CoreGenericFunctions.phpstub b/stubs/CoreGenericFunctions.phpstub
@@ -515,6 +515,12 @@ function strtolower(string $str) : string {}
 /**
  * @psalm-pure
  *
+ * @return (
+ *     $str is non-falsy-string
+ *     ? non-falsy-string
+ *     : ($str is non-empty-string ? non-empty-string : string)
+ * )
+ *
  * @psalm-flow ($str) -> return
  */
 function strtoupper(string $str) : string {}