Add test for #4825

src/Psalm/Internal/Analyzer/Statements/Block/TryAnalyzer.php

@@ -464,7 +464,7 @@ class TryAnalyzer
                 /** @var string $var_id */
                 foreach ($finally_context->assigned_var_ids as $var_id => $_) {
                     if (isset($context->vars_in_scope[$var_id])
-                        && $finally_context->vars_in_scope[$var_id]
+                        && isset($finally_context->vars_in_scope[$var_id])
                     ) {
                         if ($context->vars_in_scope[$var_id]->possibly_undefined
                             && $context->vars_in_scope[$var_id]->possibly_undefined_from_try

tests/PropertyTypeTest.php

@@ -227,6 +227,31 @@ class PropertyTypeTest extends TestCase
         $this->analyzeFile('somefile.php', new Context());
     }
 
+    public function testNoCrashInTryCatch(): void
+    {
+        Config::getInstance()->remember_property_assignments_after_call = false;
+
+        $this->addFile(
+            'somefile.php',
+            '<?php
+                function maybeMutates() : void {}
+
+                class X {
+                    public int $f = 0;
+
+                    public function validate(): void {
+                        try {
+                        } finally {
+                            $this->f = 1;
+                            maybeMutates();
+                        }
+                    }
+                }'
+        );
+
+        $this->analyzeFile('somefile.php', new Context());
+    }
+
     public function testUniversalObjectCrates(): void
     {
         Config::getInstance()->addUniversalObjectCrate(\DateTime::class);