impossible constructor

vimeo · Dec 4, 2022 · f3e1a2c · f3e1a2c
1 parent 83ba661
commit f3e1a2c
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/src/Psalm/Internal/PhpVisitor/Reflector/TypeHintResolver.php b/src/Psalm/Internal/PhpVisitor/Reflector/TypeHintResolver.php
@@ -114,7 +114,7 @@ public static function resolve(
             }
 
             if ($type === null) {
-                throw new UnexpectedValueException('Intersection type could not be resolved');
+                $type = Type::getNever();
             }
 
             return $type;

diff --git a/tests/PropertyTypeTest.php b/tests/PropertyTypeTest.php
@@ -2676,6 +2676,20 @@ public function doBar(): ?self
                 'ignored_issues' => [],
                 'php_version' => '8.0'
             ],
+            'impossibleIntersection' => [
+                'code' => '<?php
+                    class Foo {}
+                    class Bar {}
+                    /** @psalm-suppress MissingConstructor */
+                    class Baz
+                    {
+                        private Foo&Bar $foobar;
+                    }
+                    ',
+                'assertions' => [],
+                'ignored_issues' => [],
+                'php_version' => '8.1'
+            ],
         ];
     }