Allow Stringable in sprintf() values

vimeo · Sep 26, 2023 · 2be674c · 2be674c
1 parent 7d8d74d
commit 2be674c
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/stubs/Php80.phpstub b/stubs/Php80.phpstub
@@ -247,6 +247,17 @@ function get_headers(string $url, bool $associative = false, $context = null) :
  */
 function pack(string $format, mixed ...$values): string {}
 
+/**
+ * @psalm-pure
+ *
+ * @param string|Stringable|int|float $values
+ * @return (PHP_MAJOR_VERSION is 8 ? string : string|false)
+ * @psalm-ignore-falsable-return
+ *
+ * @psalm-flow ($format, $values) -> return
+ */
+function sprintf(string $format, ...$values) {}
+
 final class CurlHandle
 {
     private function __construct()

diff --git a/tests/CoreStubsTest.php b/tests/CoreStubsTest.php
@@ -125,6 +125,18 @@ function foo(string $foo): string
                 '$a===' => 'string',
             ],
         ];
+        yield 'sprintf accepts Stringable values' => [
+            'code' => '<?php
+
+            $a = sprintf(
+                "%s",
+                new class implements Stringable { public function __toString(): string { return "hello"; } },
+            );
+            ',
+            'assertions' => [],
+            'ignored_issues' => [],
+            'php_version' => '8.0',
+        ];
         yield 'json_encode returns a non-empty-string provided JSON_THROW_ON_ERROR | JSON_UNESCAPED_UNICODE' => [
             'code' => '<?php
                 $a = json_encode([], JSON_UNESCAPED_UNICODE | JSON_THROW_ON_ERROR);