more precise types

Author: staabm

stubs/core.stub

@@ -364,13 +364,15 @@ function header_register_callback(callable $callback): bool {}
 function register_tick_function(callable $callback, mixed ...$args): bool {}
 
 /**
- * @param string|array<string> $command
- * @param list<list<string>|resource> $descriptor_spec
- * @param array<resource> $pipes
- * @param array<mixed> $env_vars
+ * @template P of int = int
+ *
+ * @param string|list<string> $command
+ * @param array<P, list<string>|resource> $descriptor_spec
+ * @param array<mixed> $pipes
+ * @param array<string, mixed> $env_vars
  * @param array<string, bool> $options
  *
- * @param-out list<resource> $pipes
+ * @param-out array<P, resource> $pipes
  *
  * @return resource|false
  */

tests/PHPStan/Analyser/nsrt/bug-13197.php

@@ -25,7 +25,7 @@ function execute(string $command): ?array
 		$pipes
 	);
 
-	assertType('list<resource>', $pipes);
+	assertType('array<0|1|2, resource>', $pipes);
 
 	if (!is_resource($process)) {
 		return null;

tests/PHPStan/Analyser/nsrt/bug-13197b.php

@@ -0,0 +1,26 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13197b;
+
+use function PHPStan\Testing\assertType;
+
+function execute(string $command): void
+{
+	if (!function_exists('proc_open')) {
+		return;
+	}
+
+	$pipes = [];
+
+	$process = @proc_open(
+		$command,
+		[
+			['pipe', 'rb'],
+			3 => ['pipe', 'wb'], // stdout
+			5 => ['pipe', 'wb'], // stderr
+		],
+		$pipes
+	);
+
+	assertType('array<0|3|5, resource>', $pipes);
+}