From f4ba6bbe4e9c941db1a01da06ee6e60eb853e188 Mon Sep 17 00:00:00 2001
From: kkmuffme <11071985+kkmuffme@users.noreply.github.com>
Date: Wed, 20 Dec 2023 09:22:49 +0100
Subject: [PATCH] add test to ensure https://psalm.dev/r/323e33ae8a will be a
 non-falsy-string

---
 tests/BinaryOperationTest.php | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/tests/BinaryOperationTest.php b/tests/BinaryOperationTest.php
index f0fe0c9e3ae..e2dafc18724 100644
--- a/tests/BinaryOperationTest.php
+++ b/tests/BinaryOperationTest.php
@@ -357,6 +357,15 @@ public function providerValidCodeParse(): iterable
                 'code' => '<?php
                     $a = "Hey " . "Jude,";',
             ],
+            'concatenationNonFalsyLiteralStringWithString' => [
+                'code' => '<?php
+                    function foo(): string {}
+                    $a = "Hey " . foo();',
+                'assertions' => [
+                    '$a===' => 'non-falsy-string',
+                ],
+                'ignored_issues' => ['InvalidReturnType'],
+            ],
             'concatenationWithNumberInWeakMode' => [
                 'code' => '<?php
                     $a = "hi" . 5;',