$linesValid is always !== 0 at this point

Author: sebastianbergmann

src/Report/Cobertura.php

@@ -153,7 +153,7 @@ public function process(CodeCoverage $coverage, ?string $target = null): string
 
                     $linesValid   = $method['executableLines'];
                     $linesCovered = $method['executedLines'];
-                    $lineRate     = $linesValid === 0 ? 0 : ($linesCovered / $linesValid);
+                    $lineRate     = $linesCovered / $linesValid;
 
                     $branchesValid   = $method['executableBranches'];
                     $branchesCovered = $method['executedBranches'];
@@ -228,7 +228,7 @@ public function process(CodeCoverage $coverage, ?string $target = null): string
 
                 $linesValid   = $function['executableLines'];
                 $linesCovered = $function['executedLines'];
-                $lineRate     = $linesValid === 0 ? 0 : ($linesCovered / $linesValid);
+                $lineRate     = $linesCovered / $linesValid;
 
                 $functionsLinesValid   += $linesValid;
                 $functionsLinesCovered += $linesCovered;