fix: Amends psalm assertion syntax on Uuid::isValid() to prevent in…

…correct type inference (#486)

* fix: Amends psalm assertion syntax on `Uuid::isValid()` to prevent incorrect type inference
* Add static analysis test case for invalid input

src/Uuid.php

@@ -569,7 +569,7 @@ public static function fromInteger(string $integer): UuidInterface
      * @psalm-pure note: changing the internal factory is an edge case not covered by purity invariants,
      *             but under constant factory setups, this method operates in functionally pure manners
      *
-     * @psalm-assert-if-true non-empty-string $uuid
+     * @psalm-assert-if-true =non-empty-string $uuid
      */
     public static function isValid(string $uuid): bool
     {

tests/static-analysis/ValidUuidIsNonEmpty.php

@@ -32,4 +32,13 @@ public function givenNonEmptyInputAssertionRemainsValid(string $input): string
 
         throw new InvalidArgumentException('Not a UUID');
     }
+
+    public function givenInvalidInputValueRemainsAString(string $input): string
+    {
+        if (Uuid::isValid($input)) {
+            return 'It Worked!';
+        }
+
+        return $input;
+    }
 }