positive-int

Author: janedbal

stubs/core.stub

@@ -322,7 +322,7 @@ function get_defined_constants(bool $categorize = false): array {}
 /**
  * @param array<string> $long_options
  * @param mixed $rest_index
- * @param-out int $rest_index
+ * @param-out positive-int $rest_index
  * @return __benevolent<array<string,string>|array<string,false>|array<string,list<mixed>>|false>
  */
 function getopt(string $short_options, array $long_options = [], &$rest_index = null) {}