Merge branch '12.5'

* 12.5:
  Ignore error reported by PHPStan

Author: sebastianbergmann

src/CodeCoverage.php

@@ -411,6 +411,7 @@ public function validate(TargetCollection $targets): ValidationResult
      */
     public function driverIsPcov(): bool
     {
+        /** @phpstan-ignore isset.initializedProperty */
         return isset($this->driver) && $this->driver->isPcov();
     }
 
@@ -419,6 +420,7 @@ public function driverIsPcov(): bool
      */
     public function driverIsXdebug(): bool
     {
+        /** @phpstan-ignore isset.initializedProperty */
         return isset($this->driver) && $this->driver->isXdebug();
     }