Let's have a look

klimick · May 8, 2024 · 0cb630c · 0cb630c
1 parent 40156a4
commit 0cb630c
Showing 1 changed file with 25 additions and 0 deletions.
diff --git a/src/Psalm/Internal/Type/TemplateStandinTypeReplacer.php b/src/Psalm/Internal/Type/TemplateStandinTypeReplacer.php
@@ -895,6 +895,31 @@ private static function handleTemplateParamStandin(
         }
 
         if ($add_lower_bound && $input_type && !$template_result->readonly) {
+            $replacement_type = TypeExpander::expandUnion(
+                $codebase,
+                $replacement_type,
+                $calling_class,
+                $calling_class,
+                null,
+            );
+
+            if ($depth < 10) {
+                $replacement_type = self::replace(
+                    $replacement_type,
+                    $template_result,
+                    $codebase,
+                    $statements_analyzer,
+                    $input_type,
+                    $input_arg_offset,
+                    $calling_class,
+                    $calling_function,
+                    true,
+                    true,
+                    $bound_equality_classlike,
+                    $depth + 1,
+                );
+            }
+
             $matching_input_keys = [];
 
             if (UnionTypeComparator::canBeContainedBy(