strlen of strtolower of string is not always true

src/Psalm/Internal/Type/Comparator/ScalarTypeComparator.php

@@ -585,6 +585,11 @@ class ScalarTypeComparator
             return true;
         }
 
+        if ($input_type_part instanceof TLowercaseString
+            && get_class($container_type_part) === TNonEmptyString::class) {
+            return false;
+        }
+
         if ($input_type_part->getKey() === $container_type_part->getKey()) {
             return true;
         }

tests/Template/ConditionalReturnTypeTest.php

@@ -841,6 +841,24 @@ class ConditionalReturnTypeTest extends TestCase
                     }
                     '
             ],
+            'strlenReturnsIntForLowercaseString' => [
+                '<?php
+                    /**
+                     * @psalm-return (
+                     *     $string is non-empty-string
+                     *     ? positive-int
+                     *     : int
+                     * )
+                     */
+                    function strlen2(string $string) : int { return 1;}
+
+                    function test(string $s): void {
+                        if (strlen2(strtolower($s))) {
+                            echo 1;
+                        }
+                    }
+                    '
+            ],
         ];
     }
 }