From a9b9d386a94007eb9f2cb0b9720cc09e1bc3fcb6 Mon Sep 17 00:00:00 2001
From: ebakulin <egor.bakulin@noveogroup.com>
Date: Mon, 27 Feb 2023 22:00:36 +0700
Subject: [PATCH] added testcases with undefined constant concatination

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

diff --git a/tests/BinaryOperationTest.php b/tests/BinaryOperationTest.php
index c6d12c55d..8f9bbf2e5 100644
--- a/tests/BinaryOperationTest.php
+++ b/tests/BinaryOperationTest.php
@@ -489,6 +489,30 @@ class BinaryOperationTest extends TestCase
                     foobar($foo . $bar);
                 ',
             ],
+            'concatenateNonFalsyStringWithUndefinedConstant' => [
+                'code' => '<?php
+                    /**
+                     * @param non-falsy-string $arg
+                     * @return non-falsy-string
+                     */
+                    function foo( $arg ) {
+                        /** @psalm-suppress UndefinedConstant */
+                        return FOO . $arg;
+                    }
+                ',
+            ],
+            'concatenateNonEmptyStringWithUndefinedConstant' => [
+                'code' => '<?php
+                    /**
+                     * @param non-empty-string $arg
+                     * @return non-empty-string
+                     */
+                    function foo( $arg ) {
+                        /** @psalm-suppress UndefinedConstant */
+                        return FOO . $arg;
+                    }
+                ',
+            ],
             'possiblyInvalidAdditionOnBothSides' => [
                 'code' => '<?php
                     function foo(string $s) : int {