Merge pull request #9067 from weirdan/backed-enum-cases

fix `I::cases()` where `interface I extends BackedEnum`
vimeo · Jan 7, 2023 · d640235 · d640235
2 parents 1350992 + afb8c88
commit d640235
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/stubs/Php81.phpstub b/stubs/Php81.phpstub
@@ -26,6 +26,12 @@ namespace {
          * @psalm-pure
          */
         public static function tryFrom(string|int $value): ?static;
+
+        /**
+         * @psalm-pure
+         * @return list<static>
+         */
+        public static function cases(): array;
     }
 
     class ReflectionClass implements Reflector {

diff --git a/tests/EnumTest.php b/tests/EnumTest.php
@@ -453,6 +453,22 @@ enum Test: string
                 'ignored_issues' => [],
                 'php_version' => '8.1',
             ],
+            'methodInheritanceByInterfaces' => [
+                'code' => '<?php
+                    interface I extends BackedEnum {}
+                    /** @var I $i */
+                    $a = $i::cases();
+                    $b = $i::from(1);
+                    $c = $i::tryFrom(2);
+                ',
+                'assertions' => [
+                    '$a===' => 'list<I>',
+                    '$b===' => 'I',
+                    '$c===' => 'I|null',
+                ],
+                'ignored_issues' => [],
+                'php_version' => '8.1',
+            ],
         ];
     }