From a4ba3e49f6ecb09e8a03f1a702c68dd9f82dfeba Mon Sep 17 00:00:00 2001
From: George Steel <george@net-glue.co.uk>
Date: Sat, 27 Jan 2024 20:38:41 +0000
Subject: [PATCH] `json_encode` never returns an empty string

---
 src/Psl/Json/encode.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Psl/Json/encode.php b/src/Psl/Json/encode.php
index a029ed71..0ce7609b 100644
--- a/src/Psl/Json/encode.php
+++ b/src/Psl/Json/encode.php
@@ -21,6 +21,8 @@
  * @pure
  *
  * @throws Exception\EncodeException If an error occurred.
+ *
+ * @return non-empty-string
  */
 function encode(mixed $value, bool $pretty = false, int $flags = 0): string
 {