create a temporary var for coalescing ternaries

vimeo · Nov 5, 2021 · ad57516 · ad57516
1 parent b783468
commit ad57516
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOp/CoalesceAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOp/CoalesceAnalyzer.php
@@ -38,6 +38,7 @@ public static function analyze(
             || $root_expr instanceof PhpParser\Node\Expr\Cast
             || $root_expr instanceof PhpParser\Node\Expr\NullsafePropertyFetch
             || $root_expr instanceof PhpParser\Node\Expr\NullsafeMethodCall
+            || $root_expr instanceof PhpParser\Node\Expr\Ternary
         ) {
             $left_var_id = '$<tmp coalesce var>' . (int) $left_expr->getAttribute('startFilePos');
 

diff --git a/tests/BinaryOperationTest.php b/tests/BinaryOperationTest.php
@@ -700,6 +700,19 @@ function scope(array $a): int|float {
                     '$b' => 'float|int',
                 ],
             ],
+            'coalesceFilterOutNullEvenWithTernary' => [
+                '<?php
+
+                    interface FooInterface
+                    {
+                        public function toString(): ?string;
+                    }
+
+                    function example(object $foo): string
+                    {
+                        return ($foo instanceof FooInterface ? $foo->toString() : null) ?? "Not a stringable foo";
+                    }',
+            ],
         ];
     }