Update pdo-prepare.php

clxmstaab · staabm · commit a81449bdd446 · 2024-10-03T09:47:11.000+02:00
diff --git a/tests/default/data/pdo-prepare.php b/tests/default/data/pdo-prepare.php
@@ -139,7 +139,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
`@@ -139,7 +139,7 @@ public function noInferenceOnBug196(PDO $pdo, array $minorPhpVersions, \DateTime`
`139`	`139`	`}`
`140`	`140`
`141`	`141`	`/**`
`142`		`- * @param list<int> $idsToUpdate`
	`142`	`+ * @param list<positive-int> $idsToUpdate`
`143`	`143`	`*/`
`144`	`144`	`public function specifiedList(PDO $pdo, array $idsToUpdate, string $time)`
`145`	`145`	`{`