More precise UnitEnum::cases() return type

Author: ondrejmirtes

resources/functionMap_php81delta.php

@@ -27,6 +27,7 @@
 		'mysqli_result::fetch_field' => ['(stdClass&object{name: string, orgname: string, table: string, orgtable: string, def: string, db: string, catalog: "def", max_length: 0, length: int, charsetnr: string, flags: int, type: int, decimals: int})|false'],
 		'mysqli_result::fetch_field_direct' => ['(stdClass&object{name: string, orgname: string, table: string, orgtable: string, def: string, db: string, catalog: "def", max_length: 0, length: int, charsetnr: string, flags: int, type: int, decimals: int})|false', 'fieldnr'=>'int'],
 		'mysqli_result::fetch_fields' => ['list<stdClass&object{name: string, orgname: string, table: string, orgtable: string, def: string, db: string, catalog: "def", max_length: 0, length: int, charsetnr: string, flags: int, type: int, decimals: int}>'],
+		'UnitEnum::cases' => ['list<static>'],
 	],
 	'old' => [
 		'pg_escape_bytea' => ['string', 'connection'=>'resource', 'data'=>'string'],

stubs/runtime/Enum/UnitEnum.php

@@ -8,7 +8,7 @@
 	interface UnitEnum
 	{
 		/**
-		 * @return static[]
+		 * @return list<static>
 		 */
 		public static function cases(): array;
 	}

tests/PHPStan/Analyser/nsrt/bug-11233.php

@@ -0,0 +1,30 @@
+<?php // lint >= 8.1
+
+namespace Bug11233;
+
+use function PHPStan\Testing\assertType;
+
+class EnumExtension
+{
+	/**
+	 * @template T of \UnitEnum
+	 *
+	 * @param class-string<T> $enum
+	 */
+	public static function getEnumCases(string $enum): void
+	{
+		assertType('list<T of UnitEnum (method Bug11233\EnumExtension::getEnumCases(), argument)>', $enum::cases());
+	}
+
+	/**
+	 * @template T of \BackedEnum
+	 *
+	 * @param class-string<T> $enum
+	 *
+	 * @return list<T>
+	 */
+	public static function getEnumCases2(string $enum): void
+	{
+		assertType('list<T of BackedEnum (method Bug11233\EnumExtension::getEnumCases2(), argument)>', $enum::cases());
+	}
+}

tests/PHPStan/Analyser/nsrt/bug-7162.php

@@ -29,7 +29,7 @@ enum Test{
  * @phpstan-param TEnum $case
  */
 function dumpCases(\UnitEnum $case) : void{
-	assertType('array<TEnum of UnitEnum (function Bug7162\\dumpCases(), argument)>', $case::cases());
+	assertType('list<TEnum of UnitEnum (function Bug7162\\dumpCases(), argument)>', $case::cases());
 }
 
 function dumpCases2(Test $case) : void{