array_is_list narrows the type even when not on Bleeding Edge

phpstan · Jun 6, 2023 · de2566a · de2566a
1 parent 8b1d78d
commit de2566a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/PhpDoc/TypeNodeResolver.php b/src/PhpDoc/TypeNodeResolver.php
@@ -390,6 +390,11 @@ private function resolveIdentifierTypeNode(IdentifierTypeNode $typeNode, NameSco
 					new ArrayType(new IntegerType(), new MixedType()),
 					new NonEmptyArrayType(),
 				));
+			case '__always-list':
+				return TypeCombinator::intersect(
+					new ArrayType(new IntegerType(), new MixedType()),
+					new AccessoryArrayListType(),
+				);
 
 			case 'empty':
 				$type = $this->tryResolvePseudoTypeClassType($typeNode, $nameScope);

diff --git a/stubs/arrayFunctions.stub b/stubs/arrayFunctions.stub
@@ -67,6 +67,6 @@ function array_udiff(
 
 /**
  * @param array<array-key, mixed> $value
- * @return ($value is list ? true : false)
+ * @return ($value is __always-list ? true : false)
  */
 function array_is_list(array $value): bool {}