Update pdo-prepare.php

clxmstaab · staabm · commit 37c413d8a289 · 2024-11-01T15:45:12.000+01:00
diff --git a/tests/default/data/pdo-prepare.php b/tests/default/data/pdo-prepare.php
@@ -167,7 +167,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
`@@ -167,7 +167,7 @@ public function noInferenceOnBug196(PDO $pdo, array $minorPhpVersions, \DateTime`
`167`	`167`	`}`
`168`	`168`
`169`	`169`	`/**`
`170`		`- * @param list<int> $idsToUpdate`
	`170`	`+ * @param list<positive-int> $idsToUpdate`
`171`	`171`	`*/`
`172`	`172`	`public function specifiedList(PDO $pdo, array $idsToUpdate, string $time)`
`173`	`173`	`{`