Merge pull request #11091 from weirdan/callable-and-lowercase-strings…

…-are-coercible
vimeo · Sep 7, 2024 · 8b528ad · 8b528ad
2 parents 2a64d1c + b6cea6e
commit 8b528ad
Show file tree

Hide file tree

Showing 3 changed files with 60 additions and 10 deletions.
diff --git a/src/Psalm/Internal/Type/Comparator/ScalarTypeComparator.php b/src/Psalm/Internal/Type/Comparator/ScalarTypeComparator.php
@@ -121,13 +121,21 @@ public static function isContainedBy(
             return false;
         }
 
-        if ($input_type_part instanceof TCallableString
-            && (get_class($container_type_part) === TSingleLetter::class
-                || get_class($container_type_part) === TNonEmptyString::class
+        if ($input_type_part instanceof TCallableString) {
+            if (get_class($container_type_part) === TNonEmptyString::class
                 || get_class($container_type_part) === TNonFalsyString::class
-                || get_class($container_type_part) === TLowercaseString::class)
-        ) {
-            return true;
+            ) {
+                return true;
+            }
+
+            if (get_class($container_type_part) === TLowercaseString::class
+                || get_class($container_type_part) === TSingleLetter::class
+            ) {
+                if ($atomic_comparison_result) {
+                    $atomic_comparison_result->type_coerced = true;
+                }
+                return false;
+            }
         }
 
         if (($container_type_part instanceof TLowercaseString

diff --git a/tests/FunctionCallTest.php b/tests/FunctionCallTest.php
@@ -402,6 +402,14 @@ function foo(string $s) : void {
                 'assertions' => [],
                 'ignored_issues' => ['MixedAssignment', 'MixedArgument'],
             ],
+            'noRedundantErrorForCallableStrToLower' => [
+                'code' => <<<'PHP'
+                    <?php
+                    /** @var callable-string */
+                    $function = "strlen";
+                    strtolower($function);
+                PHP,
+            ],
             'objectLikeArrayAssignmentInConditional' => [
                 'code' => '<?php
                     $a = [];

diff --git a/tests/TypeComparatorTest.php b/tests/TypeComparatorTest.php
@@ -6,6 +6,7 @@
 use Psalm\Internal\Provider\FakeFileProvider;
 use Psalm\Internal\Provider\Providers;
 use Psalm\Internal\RuntimeCaches;
+use Psalm\Internal\Type\Comparator\TypeComparisonResult;
 use Psalm\Internal\Type\Comparator\UnionTypeComparator;
 use Psalm\Internal\Type\TypeTokenizer;
 use Psalm\Tests\Internal\Provider\FakeParserCacheProvider;
@@ -129,6 +130,43 @@ public function testTypeDoesNotAcceptType(string $parent_type_string, string $ch
         );
     }
 
+    /** @dataProvider getCoercibleComparisons */
+    public function testTypeIsCoercible(string $parent_type_string, string $child_type_string): void
+    {
+        $parent_type = Type::parseString($parent_type_string);
+        $child_type = Type::parseString($child_type_string);
+
+        $result = new TypeComparisonResult();
+
+        $contained = UnionTypeComparator::isContainedBy(
+            $this->project_analyzer->getCodebase(),
+            $child_type,
+            $parent_type,
+            false,
+            false,
+            $result,
+        );
+
+        $this->assertFalse($contained, 'Type ' . $parent_type_string . ' should not contain ' . $child_type_string);
+        $this->assertTrue(
+            $result->type_coerced,
+            'Type ' . $parent_type_string . ' should be coercible into ' . $child_type_string,
+        );
+    }
+
+    /** @return iterable<string, list{string, string}> */
+    public function getCoercibleComparisons(): iterable
+    {
+        yield 'callableStringIntoLowercaseString' => [
+            'lowercase-string',
+            'callable-string',
+        ];
+        yield 'lowercaseStringIntoCallableString' => [
+            'callable-string',
+            'lowercase-string',
+        ];
+    }
+
     /**
      * @return array<array{string, string}>
      */
@@ -155,10 +193,6 @@ public function getSuccessfulComparisons(): array
                 'array{foo?: string}&array<string, mixed>',
                 'array<never, never>',
             ],
-            'Lowercase-stringAndCallable-string' => [
-                'lowercase-string',
-                'callable-string',
-            ],
             'callableUnionAcceptsCallableUnion' => [
                 '(callable(int,string[]): void)|(callable(int): void)',
                 '(callable(int): void)|(callable(int,string[]): void)',