Narrow types

Author: sebastianbergmann

src/CodeCoverage.php

@@ -38,10 +38,8 @@
 /**
  * Provides collection functionality for PHP code coverage information.
  *
- * @phpstan-type TestType array{
- *     size: string,
- *     status: string,
- * }
+ * @phpstan-type TestType array{size: string, status: string}
+ * @phpstan-type TargetedLines array<non-empty-string, list<positive-int>>
  */
 final class CodeCoverage
 {
@@ -374,6 +372,9 @@ public function validate(TargetCollection $targets): ValidationResult
     }
 
     /**
+     * @param false|TargetedLines $linesToBeCovered
+     * @param TargetedLines       $linesToBeUsed
+     *
      * @throws ReflectionException
      * @throws UnintentionallyCoveredCodeException
      */
@@ -478,6 +479,9 @@ private function addUncoveredFilesFromFilter(): void
     }
 
     /**
+     * @param TargetedLines $linesToBeCovered
+     * @param TargetedLines $linesToBeUsed
+     *
      * @throws ReflectionException
      * @throws UnintentionallyCoveredCodeException
      */
@@ -507,6 +511,12 @@ private function performUnintentionallyCoveredCodeCheck(RawCodeCoverageData $dat
         }
     }
 
+    /**
+     * @param TargetedLines $linesToBeCovered
+     * @param TargetedLines $linesToBeUsed
+     *
+     * @return TargetedLines
+     */
     private function getAllowedLines(array $linesToBeCovered, array $linesToBeUsed): array
     {
         $allowedLines = [];

src/Data/RawCodeCoverageData.php

@@ -261,6 +261,9 @@ private function skipEmptyLines(): void
         }
     }
 
+    /**
+     * @return array<int>
+     */
     private function getEmptyLinesForFile(string $filename): array
     {
         if (!isset(self::$emptyLineCache[$filename])) {

src/Node/AbstractNode.php

@@ -29,6 +29,10 @@ abstract class AbstractNode implements Countable
 {
     private readonly string $name;
     private string $pathAsString;
+
+    /**
+     * @var non-empty-list<self>
+     */
     private array $pathAsArray;
     private readonly ?AbstractNode $parent;
     private string $id;
@@ -61,6 +65,9 @@ public function pathAsString(): string
         return $this->pathAsString;
     }
 
+    /**
+     * @return non-empty-list<self>
+     */
     public function pathAsArray(): array
     {
         return $this->pathAsArray;

src/Node/Iterator.php

@@ -14,6 +14,8 @@
 use RecursiveIterator;
 
 /**
+ * @template-implements RecursiveIterator<int, AbstractNode>
+ *
  * @internal This class is not covered by the backward compatibility promise for phpunit/php-code-coverage
  */
 final class Iterator implements RecursiveIterator