Update

src/Psalm/Type/Atomic/GenericTrait.php

@@ -172,10 +172,6 @@ trait GenericTrait
         bool $add_lower_bound = false,
         int $depth = 0
     ): ?array {
-        if ($input_type instanceof TList) {
-            $input_type = new TArray([Type::getInt(), $input_type->type_param]);
-        }
-
         $input_object_type_params = [];
 
         $container_type_params_covariant = [];

src/Psalm/Type/Atomic/TCallableList.php

@@ -1,12 +0,0 @@
-<?php
-
-namespace Psalm\Type\Atomic;
-
-/**
- * Denotes a list that is _also_ `callable`.
- * @psalm-immutable
- */
-final class TCallableList extends TNonEmptyList
-{
-    public const KEY = 'callable-list';
-}

src/Psalm/Type/Atomic/TKeyOf.php

@@ -56,7 +56,6 @@ final class TKeyOf extends TArrayKey
             if (!$type instanceof TArray
                 && !$type instanceof TClassConstant
                 && !$type instanceof TKeyedArray
-                && !$type instanceof TList
                 && !$type instanceof TPropertiesOf
             ) {
                 return false;
@@ -74,8 +73,6 @@ final class TKeyOf extends TArrayKey
         foreach ($type->getAtomicTypes() as $atomic_type) {
             if ($atomic_type instanceof TArray) {
                 $array_key_atomics = $atomic_type->type_params[0];
-            } elseif ($atomic_type instanceof TList) {
-                $array_key_atomics = Type::getInt();
             } elseif ($atomic_type instanceof TKeyedArray) {
                 $array_key_atomics = $atomic_type->getGenericKeyType();
             } elseif ($atomic_type instanceof TTemplateParam) {

src/Psalm/Type/Atomic/TKeyedArray.php

@@ -244,6 +244,13 @@ class TKeyedArray extends Atomic
 
     public function getGenericKeyType(bool $possibly_undefined = false): Union
     {
+        if ($this->is_list) {
+            if ($this->fallback_params === null) {
+                return new Union([new TIntRange(0, count($this->properties))]);
+            }
+            return new Union([new TIntRange(0, null)]);
+        }
+
         $key_types = [];
 
         foreach ($this->properties as $key => $_) {
@@ -311,7 +318,7 @@ class TKeyedArray extends Atomic
             $value_type = Type::combineUnionTypes($property, $value_type);
 
             if (!$property->possibly_undefined) {
-                $has_defined_keys++;
+                $has_defined_keys = true;
             }
         }
 

src/Psalm/Type/Atomic/TValueOf.php

@@ -61,7 +61,6 @@ final class TValueOf extends Atomic
             if (!$type instanceof TArray
                 && !$type instanceof TClassConstant
                 && !$type instanceof TKeyedArray
-                && !$type instanceof TList
                 && !$type instanceof TPropertiesOf
                 && !$type instanceof TNamedObject
             ) {
@@ -81,8 +80,6 @@ final class TValueOf extends Atomic
         foreach ($type->getAtomicTypes() as $atomic_type) {
             if ($atomic_type instanceof TArray) {
                 $value_atomics = $atomic_type->type_params[1];
-            } elseif ($atomic_type instanceof TList) {
-                $value_atomics = $atomic_type->type_param;
             } elseif ($atomic_type instanceof TKeyedArray) {
                 $value_atomics = $atomic_type->getGenericValueType();
             } elseif ($atomic_type instanceof TTemplateParam) {

src/Psalm/Type/Reconciler.php

@@ -715,23 +715,6 @@ class Reconciler
                                 return $new_base_type_candidate;
                             }
 
-                            if (($has_isset || $has_inverted_isset) && isset($new_assertions[$new_base_key])) {
-                                if ($has_inverted_isset && $new_base_key === $key) {
-                                    $new_base_type_candidate = $new_base_type_candidate->getBuilder();
-                                    $new_base_type_candidate->addType(new TNull);
-                                    $new_base_type_candidate->possibly_undefined = true;
-                                    $new_base_type_candidate = $new_base_type_candidate->freeze();
-                                } else {
-                                    $new_base_type_candidate = $new_base_type_candidate->setPossiblyUndefined(true);
-                                }
-                            }
-                        } elseif ($existing_key_type_part instanceof TList) {
-                            if ($has_empty) {
-                                return null;
-                            }
-
-                            $new_base_type_candidate = $existing_key_type_part->type_param;
-
                             if (($has_isset || $has_inverted_isset) && isset($new_assertions[$new_base_key])) {
                                 if ($has_inverted_isset && $new_base_key === $key) {
                                     $new_base_type_candidate = $new_base_type_candidate->getBuilder();

src/Psalm/Type/UnionTrait.php

@@ -24,6 +24,7 @@ use Psalm\Type\Atomic\TEmptyMixed;
 use Psalm\Type\Atomic\TFalse;
 use Psalm\Type\Atomic\TInt;
 use Psalm\Type\Atomic\TIntRange;
+use Psalm\Type\Atomic\TKeyedArray;
 use Psalm\Type\Atomic\TList;
 use Psalm\Type\Atomic\TLiteralFloat;
 use Psalm\Type\Atomic\TLiteralInt;
@@ -409,7 +410,9 @@ trait UnionTrait
      */
     public function hasList(): bool
     {
-        return isset($this->types['array']) && $this->types['array'] instanceof TList;
+        return isset($this->types['array'])
+            && $this->types['array'] instanceof TKeyedArray
+            && $this->types['array']->is_list;
     }
 
     /**