From 490ef502a25decef86c33ed50d4e1b90598098af Mon Sep 17 00:00:00 2001
From: Aleksandr Zhuravlev <aleks@macroactive.com>
Date: Mon, 11 Mar 2024 20:09:05 +1000
Subject: [PATCH] Added test for #10807

---
 tests/AssertAnnotationTest.php | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/tests/AssertAnnotationTest.php b/tests/AssertAnnotationTest.php
index 972e2e3d72f..9ccac086bf5 100644
--- a/tests/AssertAnnotationTest.php
+++ b/tests/AssertAnnotationTest.php
@@ -90,6 +90,36 @@ function requiresString(string $_str): void {}
         $this->analyzeFile('somefile.php', new Context());
     }
 
+    public function testAssertFromImportedClassesWork(): void
+    {
+        $this->addFile(
+            'somefile.php',
+            '<?php
+
+            class ImportedAssert
+            {
+                /** @psalm-assert non-empty-string $b */
+                public static function notEmptyStrOnly(string $b): void
+                {
+                    if ("" === $b) throw new \Exception("");
+                }
+
+                public function __callStatic() {}
+            }
+
+            /** @return non-empty-string */
+            function returnNonEmpty(string $b): string
+            {
+                ImportedAssert::notEmptyStrOnly($b);
+
+                return $b;
+            }
+            ',
+        );
+
+        $this->analyzeFile('somefile.php', new Context());
+    }
+
     public function testAssertInvalidDocblockMessageDoesNotIncludeTrace(): void
     {
         $this->expectException(CodeException::class);