Update pdo-prepare.php

clxmstaab · staabm · commit 850d8b4ba85d · 2023-07-30T11:15:49.000+02:00
diff --git a/tests/default/data/pdo-prepare.php b/tests/default/data/pdo-prepare.php
@@ -125,7 +125,7 @@ public function noInferenceOnBug196(PDO $pdo, array $minorPhpVersions, \DateTime
     }
 
     /**
-     * @param list<int> $idsToUpdate
+     * @param list<positive-int> $idsToUpdate
      */
     public function specifiedList(PDO $pdo, array $idsToUpdate, string $time)
     {

Original file line number	Diff line number	Diff line change
`@@ -125,7 +125,7 @@ public function noInferenceOnBug196(PDO $pdo, array $minorPhpVersions, \DateTime`
`125`	`125`	`}`
`126`	`126`
`127`	`127`	`/**`
`128`		`- * @param list<int> $idsToUpdate`
	`128`	`+ * @param list<positive-int> $idsToUpdate`
`129`	`129`	`*/`
`130`	`130`	`public function specifiedList(PDO $pdo, array $idsToUpdate, string $time)`
`131`	`131`	`{`