chore: fix stan

yajra · yajra · commit d7f2f2433de6 · 2024-06-01T20:05:34.000+08:00
diff --git a/src/CsvFile.php b/src/CsvFile.php
@@ -111,6 +111,9 @@ public function get(): string
         return $contents;
     }
 
+    /**
+     * @param  null|int<0, max>  $length
+     */
     public function getHeaders(?int $length = null): array
     {
         $headers = fgetcsv($this->stream, $length);

Original file line number	Diff line number	Diff line change
`@@ -111,6 +111,9 @@ public function get(): string`
`111`	`111`	`return $contents;`
`112`	`112`	`}`
`113`	`113`
	`114`	`+ /**`
	`115`	`+ * @param null\|int<0, max> $length`
	`116`	`+ */`
`114`	`117`	`public function getHeaders(?int $length = null): array`
`115`	`118`	`{`
`116`	`119`	`$headers = fgetcsv($this->stream, $length);`