Merge pull request #6964 from ricardoboss/master

Make UnitEnum name property non-empty
vimeo · Nov 22, 2021 · 5b51569 · 5b51569
2 parents 9943efb + f93c84b
commit 5b51569
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/stubs/Php81.phpstub b/stubs/Php81.phpstub
@@ -1,6 +1,9 @@
 <?php
 namespace {
     interface UnitEnum {
+        /** @var non-empty-string $name */
+        public readonly string $name;
+
         /** @return non-empty-list<static> */
         public static function cases(): array;
     }