Conditional return type for SQLite3Result::fetchArray()

Author: devnix

resources/functionMap.php

@@ -10062,7 +10062,7 @@
 'SQLite3Result::__construct' => ['void'],
 'SQLite3Result::columnName' => ['string', 'column_number'=>'int'],
 'SQLite3Result::columnType' => ['int', 'column_number'=>'int'],
-'SQLite3Result::fetchArray' => ['array|false', 'mode='=>'int'],
+'SQLite3Result::fetchArray' => ['($mode is SQLITE3_NUM ? non-empty-list<mixed>|false : ($mode is SQLITE3_ASSOC ? non-empty-array<string,mixed>|false : non-empty-array<int|string,mixed>|false))', 'mode='=>'int'],
 'SQLite3Result::finalize' => ['bool'],
 'SQLite3Result::numColumns' => ['int'],
 'SQLite3Result::reset' => ['bool'],

tests/PHPStan/Analyser/nsrt/sqlite3-result-fetch-array.php

@@ -0,0 +1,31 @@
+<?php
+
+namespace Sqlite3ResultFetchArray;
+
+use SQLite3Result;
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+
+	public function fetchArrayDefault(SQLite3Result $result): void
+	{
+		assertType('non-empty-array<int|string, mixed>|false', $result->fetchArray());
+	}
+
+	public function fetchArrayBoth(SQLite3Result $result): void
+	{
+		assertType('non-empty-array<int|string, mixed>|false', $result->fetchArray(SQLITE3_BOTH));
+	}
+
+	public function fetchArrayNum(SQLite3Result $result): void
+	{
+		assertType('non-empty-list<mixed>|false', $result->fetchArray(SQLITE3_NUM));
+	}
+
+	public function fetchArrayAssoc(SQLite3Result $result): void
+	{
+		assertType('non-empty-array<string, mixed>|false', $result->fetchArray(SQLITE3_ASSOC));
+	}
+
+}