From ab2692fdd31d6431a21c6836ebde76d451dcf996 Mon Sep 17 00:00:00 2001
From: Daniil Gentili <daniil@daniil.it>
Date: Mon, 19 Dec 2022 18:31:43 +0100
Subject: [PATCH] Update

---
 psalm-baseline.xml                            | 21 +++++++++----------
 .../Assignment/ArrayAssignmentAnalyzer.php    | 12 ++++++-----
 .../Expression/Fetch/ArrayFetchAnalyzer.php   |  2 +-
 src/Psalm/Internal/Type/TypeCombiner.php      |  4 +---
 src/Psalm/Type/Atomic/TKeyedArray.php         |  8 +++++--
 src/Psalm/Type/Reconciler.php                 |  4 ----
 tests/ArrayFunctionCallTest.php               |  4 ++--
 7 files changed, 27 insertions(+), 28 deletions(-)

diff --git a/psalm-baseline.xml b/psalm-baseline.xml
index c8dee018001..227420cf7b7 100644
--- a/psalm-baseline.xml
+++ b/psalm-baseline.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<files psalm-version="dev-master@6eb37b9dc2321e4eaade9d3d2dca1aff6f2c0a8f">
+<files psalm-version="dev-master@d90a9a28a53176b4eb329d4c062d37516d3227f3">
   <file src="examples/TemplateChecker.php">
     <PossiblyUndefinedIntArrayOffset occurrences="2">
       <code>$comment_block-&gt;tags['variablesfrom'][0]</code>
@@ -182,6 +182,9 @@
     </PossiblyUndefinedIntArrayOffset>
   </file>
   <file src="src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/ArrayFetchAnalyzer.php">
+    <PossiblyUndefinedIntArrayOffset occurrences="1">
+      <code>$properties[0]</code>
+    </PossiblyUndefinedIntArrayOffset>
     <ReferenceConstraintViolation occurrences="3">
       <code>$stmt_type</code>
       <code>$stmt_type</code>
@@ -231,6 +234,11 @@
       <code>$check_type_string</code>
     </PossiblyUndefinedIntArrayOffset>
   </file>
+  <file src="src/Psalm/Internal/Cli/LanguageServer.php">
+    <PossiblyInvalidArgument occurrences="1">
+      <code>$options['tcp'] ?? null</code>
+    </PossiblyInvalidArgument>
+  </file>
   <file src="src/Psalm/Internal/Cli/Refactor.php">
     <PossiblyUndefinedIntArrayOffset occurrences="1">
       <code>$identifier_name</code>
@@ -390,9 +398,6 @@
     <InvalidArgument occurrences="1">
       <code>$class_strings ?: null</code>
     </InvalidArgument>
-    <RedundantCondition occurrences="2">
-      <code>$is_replace</code>
-    </RedundantCondition>
   </file>
   <file src="src/Psalm/Internal/Provider/ReturnTypeProvider/ArrayReduceReturnTypeProvider.php">
     <PossiblyUndefinedIntArrayOffset occurrences="1">
@@ -461,17 +466,11 @@
     </PossiblyUndefinedIntArrayOffset>
   </file>
   <file src="src/Psalm/Internal/Type/TypeTokenizer.php">
-    <InvalidArrayOffset occurrences="1">
-      <code>$chars[$i - 1]</code>
-    </InvalidArrayOffset>
-    <PossiblyInvalidArrayOffset occurrences="7">
-      <code>$type_tokens[$i - 1]</code>
-      <code>$type_tokens[$i - 1]</code>
+    <PossiblyInvalidArrayOffset occurrences="4">
       <code>$type_tokens[$i - 1]</code>
       <code>$type_tokens[$i - 1]</code>
       <code>$type_tokens[$i - 1]</code>
       <code>$type_tokens[$i - 1]</code>
-      <code>$type_tokens[$i - 2]</code>
     </PossiblyInvalidArrayOffset>
   </file>
   <file src="src/Psalm/Storage/ClassConstantStorage.php">
diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/Assignment/ArrayAssignmentAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/Assignment/ArrayAssignmentAnalyzer.php
index 172b8fb5563..4f11f44c7ab 100644
--- a/src/Psalm/Internal/Analyzer/Statements/Expression/Assignment/ArrayAssignmentAnalyzer.php
+++ b/src/Psalm/Internal/Analyzer/Statements/Expression/Assignment/ArrayAssignmentAnalyzer.php
@@ -649,12 +649,14 @@ private static function updateArrayAssignmentChildType(
                         ]);
                     } else {
                         assert($array_atomic_type_list !== null);
+                        $array_atomic_type = array_fill(
+                            $atomic_root_type_array->getMinCount(),
+                            count($atomic_root_type_array->properties)-1,
+                            $array_atomic_type_list,
+                        );
+                        assert(count($array_atomic_type) > 0);
                         $array_atomic_type = new TKeyedArray(
-                            array_fill(
-                                $atomic_root_type_array->getMinCount(),
-                                count($atomic_root_type_array->properties)-1,
-                                $array_atomic_type_list,
-                            ),
+                            $array_atomic_type,
                             null,
                             null,
                             true,
diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/ArrayFetchAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/ArrayFetchAnalyzer.php
index 42e5ab1d710..d0d52d581a4 100644
--- a/src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/ArrayFetchAnalyzer.php
+++ b/src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/ArrayFetchAnalyzer.php
@@ -1545,7 +1545,7 @@ private static function handleArrayAccessOnKeyedArray(
                                 );
                             }
                             $properties[0] = $properties[0]->setPossiblyUndefined(
-                                $replacement_type->possibly_undefined
+                                $replacement_type->possibly_undefined,
                             );
                             $properties[$key_value->value] = $properties[$key_value->value]->
                                 setPossiblyUndefined(true)
diff --git a/src/Psalm/Internal/Type/TypeCombiner.php b/src/Psalm/Internal/Type/TypeCombiner.php
index 5056c18dcdf..0132e4e6bf4 100644
--- a/src/Psalm/Internal/Type/TypeCombiner.php
+++ b/src/Psalm/Internal/Type/TypeCombiner.php
@@ -676,9 +676,7 @@ private static function scrapeTypeProperties(
 
                 if (!$candidate_property_type->possibly_undefined) {
                     $has_defined_keys = true;
-                }
-
-                if ($combination->fallbackKeyContains($candidate_property_name)) {
+                } elseif ($combination->fallbackKeyContains($candidate_property_name)) {
                     $combination->objectlike_entries[$candidate_property_name] = Type::combineUnionTypes(
                         $combination->objectlike_entries[$candidate_property_name],
                         $combination->objectlike_value_type,
diff --git a/src/Psalm/Type/Atomic/TKeyedArray.php b/src/Psalm/Type/Atomic/TKeyedArray.php
index f673af9d0c9..b78fa8654da 100644
--- a/src/Psalm/Type/Atomic/TKeyedArray.php
+++ b/src/Psalm/Type/Atomic/TKeyedArray.php
@@ -95,7 +95,9 @@ public function __construct(
                     $this->is_list = false;
                     break;
                 }
-                $had_possibly_undefined = $v->possibly_undefined || $had_possibly_undefined;
+                if ($v->possibly_undefined) {
+                    $had_possibly_undefined = true;
+                }
                 $last_k = $k;
             }
         }
@@ -121,7 +123,9 @@ public function setProperties(array $properties): self
                     $cloned->is_list = false;
                     break;
                 }
-                $had_possibly_undefined = $v->possibly_undefined || $had_possibly_undefined;
+                if ($v->possibly_undefined) {
+                    $had_possibly_undefined = true;
+                }
                 $last_k = $k;
             }
         }
diff --git a/src/Psalm/Type/Reconciler.php b/src/Psalm/Type/Reconciler.php
index 006850317e5..9bf4d261d63 100644
--- a/src/Psalm/Type/Reconciler.php
+++ b/src/Psalm/Type/Reconciler.php
@@ -1093,10 +1093,6 @@ private static function adjustTKeyedArrayType(
         array &$changed_var_ids,
         Union $result_type
     ): void {
-        if ($result_type->isNever()) {
-            return;
-        }
-
         array_pop($key_parts);
         $array_key = array_pop($key_parts);
         array_pop($key_parts);
diff --git a/tests/ArrayFunctionCallTest.php b/tests/ArrayFunctionCallTest.php
index bbd6421afe6..ae228a438bb 100644
--- a/tests/ArrayFunctionCallTest.php
+++ b/tests/ArrayFunctionCallTest.php
@@ -219,8 +219,8 @@ function getInts(): array { return [123]; }
                     $result = array_merge($a1, $a2);
                 ',
                 'assertions' => [
-                    '$result===' => "array{a: 'a2'}"
-                ]
+                    '$result===' => "array{a: 'a2'}",
+                ],
             ],
             'arrayMergeListOfShapes' => [
                 'code' => '<?php