different rule

Author: clxmstaab

tests/default/data/doctrine-dbal.php

@@ -228,4 +228,17 @@ public function customTypeParameters(Connection $conn)
         );
         assertType('Doctrine\DBAL\Result', $result);
     }
+
+    /**
+     * @param list<positive-int> $idsToUpdate
+     */
+    public function specifiedList(Connection $conn, array $idsToUpdate, string $time)
+    {
+        $query = 'SELECT adaid FROM ada WHERE adaid IN (:ids) AND email LIKE :time';
+        $result = $conn->executeQuery($query, [
+            'ids' => $idsToUpdate,
+            'time' => $time,
+        ]);
+        assertType('PDOStatement<array{adaid: int<-32768, 32767>, 0: int<-32768, 32767>}>', $result);
+    }
 }

tests/default/data/pdo-prepare.php

@@ -138,17 +138,4 @@ public function noInferenceOnBug196(PDO $pdo, array $minorPhpVersions, \DateTime
         assertType('PDOStatement', $stmt);
     }
 
-    /**
-     * @param list<positive-int> $idsToUpdate
-     */
-    public function specifiedList(PDO $pdo, array $idsToUpdate, string $time)
-    {
-        $query = 'SELECT adaid FROM ada WHERE adaid IN (:ids) AND email LIKE :time';
-        $stmt = $pdo->prepare($query);
-        $stmt->execute([
-            'ids' => $idsToUpdate,
-            'time' => $time,
-        ]);
-        assertType('PDOStatement<array{adaid: int<-32768, 32767>, 0: int<-32768, 32767>}>', $stmt);
-    }
 }