Allow new on objects

Fixes #8355
vimeo · Nov 19, 2022 · d756191 · d756191
1 parent 4e17585
commit d756191
Show file tree

Hide file tree

Showing 2 changed files with 61 additions and 0 deletions.
diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/Call/NewAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/Call/NewAnalyzer.php
@@ -865,6 +865,11 @@ private static function analyzeConstructorExpression(
                 && $stmt_class_type->ignore_nullable_issues
             ) {
                 // do nothing
+            } elseif ($lhs_type_part instanceof TObject
+                || $lhs_type_part instanceof TNamedObject
+            ) {
+                $new_type = Type::combineUnionTypes($new_type, new Union([$lhs_type_part]));
+                continue;
             } elseif (IssueBuffer::accepts(
                 new UndefinedClass(
                     'Type ' . $lhs_type_part . ' cannot be called as a class',

diff --git a/tests/ClassTest.php b/tests/ClassTest.php
@@ -795,6 +795,62 @@ interface I extends Traversable {}
                     abstract class C implements I {}
                 ',
             ],
+            'newOnNamedObject' => [
+                'code' => '<?php
+                    $o = new stdClass;
+                    $o2 = new $o;
+                ',
+                'assertions' => [
+                    '$o2===' => 'stdClass',
+                ],
+            ],
+            'newOnObject' => [
+                'code' => '<?php
+                    /** @var object $o */;
+                    $o2 = new $o;
+                ',
+                'assertions' => [
+                    '$o2===' => 'object',
+                ],
+            ],
+            'newOnObjectOfAnonymousClass' => [
+                'code' => '<?php
+                    function f(): object {
+                        $o = new class {};
+                        return new $o;
+                    }
+                ',
+            ],
+            'newOnObjectOfAnonymousExtendingNamed' => [
+                'code' => '<?php
+                    function f(): Exception {
+                        $o = new class extends Exception {};
+                        return new $o;
+                    }
+                ',
+            ],
+            'newOnObjectOfAnonymousClassImplementingNamed' => [
+                'code' => '<?php
+                    interface I {}
+                    function f(): I {
+                        $o = new class implements I {};
+                        return new $o;
+                    }
+                ',
+            ],
+            'throwAnonymousObjects' => [
+                'code' => '<?php
+                    throw new class extends Exception {};
+                ',
+            ],
+            'throwTheResultOfNewOnAnAnonymousClass' => [
+                'code' => '<?php
+                    declare(strict_types=1);
+
+                    $test = new class extends \Exception { };
+                    throw new $test();
+                '
+            ]
         ];
     }