Silence a warning from psalm with explanation

Signed-off-by: Côme Chilliet <come.chilliet@nextcloud.com>

diff --git a/lib/private/Files/Storage/Local.php b/lib/private/Files/Storage/Local.php
index fe6a6d6e21ad53d1822de37c5d12e87f9aa36800..0f213adc9ba3026cf71381bc8f41125a94c0fd94 100644 (file)
--- a/lib/private/Files/Storage/Local.php
+++ b/lib/private/Files/Storage/Local.php
@@ -617,6 +617,7 @@ class Local extends \OC\Files\Storage\Common {
        }
 
        public function writeStream(string $path, $stream, int $size = null): int {
+               /** @var int|false $result We consider here that returned size will never be a float because we write less than 4GB */
                $result = $this->file_put_contents($path, $stream);
                if (is_resource($stream)) {
                        fclose($stream);