array_is_list narrows the type even when not on Bleeding Edge

Author: ondrejmirtes

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);

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 {}