False positive: not covered mutant for arrow function

[Bilge]

Question	Answer
Infection version	0.26.16
Test Framework version	PHPUnit 9.5.26
PHP version	PHP 8.1.3
Platform	Windows
Github Repo	https://github.com/ScriptFUSION/Porter

The following code will generate a not covered mutant.

        $this->clearTransformers()->addTransformers(array_map(
            static fn ($transformer) => clone $transformer,
            $transformers
        ));

Not Covered mutants:
====================

1) C:\Users\Bilge\Documents\PhpstormProjects\Porter\src\Specification\Specification.php:48    [M] CloneRemoval

--- Original
+++ New
@@ @@
     {
         $this->resource = clone $this->resource;
         $transformers = $this->transformers;
-        $this->clearTransformers()->addTransformers(array_map(static fn($transformer) => clone $transformer, $transformers));
+        $this->clearTransformers()->addTransformers(array_map(static fn($transformer) => $transformer, $transformers));
         \is_object($this->context) && ($this->context = clone $this->context);
         isset($this->recoverableExceptionHandler) && ($this->recoverableExceptionHandler = clone $this->recoverableExceptionHandler);

However, this code will not generate a not covered mutant. Note that it is the same code, just expressed with a long-form lambda function instead of a single-line arrow function.

        $this->clearTransformers()->addTransformers(array_map(
            static function ($transformer) {
                return clone $transformer;
            },
            $transformers
        ));

Suffice it to say, removing the clone keyword as claimed by the Infection output to be an not covered mutant, causes the tests to fail in both cases.

[sanmai]

Suspected duplicate of #1736

Infection uses coverage reports provided by a testing framework such as PHPUnit. If a report says a certain line isn't covered, that's what we have.

[sanmai]

Related to #1750.

[maks-rafalko]

This should have been fixed in #1750. If not please reopen