Inference estimation percentage glitch

[zerkms]

$ ./vendor/bin/psalm|head
Scanning files...
Analyzing files...

░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ 60 / 88 (68%)
░░░░░░░░░░░░░░░░░░░░░░░░░░░░
------------------------------
No errors found!
------------------------------

Checks took 1.27 seconds and used 309.727MB of memory
Psalm was able to infer types for 100.0739% of the codebase

psalm version: 3.12.1

psalm.xml:

<?xml version="1.0"?>
<psalm
    totallyTyped="true"
    resolveFromConfigFile="true"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns="https://getpsalm.org/schema/config"
    xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
>
    <projectFiles>
        <directory name="path-one" />
        <directory name="path-two" />
        <ignoreFiles>
            <directory name="vendor" />
            <directory name="path-two/subdir-one"/>
            <directory name="path-two/subdir-two"/>
            <file name="src/Kernel.php"/>
        </ignoreFiles>
    </projectFiles>
</psalm>

[psalm-github-bot]

Hey @zerkms, can you reproduce the issue on https://psalm.dev ?

[muglug]

I'd be interested in the result of --stats – it should show the file or files with > 100% (I think where the number of mixed types is negative)

[zerkms]

Yep, there are several files with > than 100% and negative mixed.

[muglug]

Do you have assert calls after otherwise-mixed assertions in those files?

[zerkms]

I have narrowed it down. In my case in one piece of code it was triggered by

            /** @var ?ResponseReceived $lastResponseReceived */
            $lastResponseReceived = null;
            $api->addListener(ResponseReceived::class, static function(Event $e) use(&$lastResponseReceived) {
                if (!$e instanceof ResponseReceived) {
                    return;
                }
                $lastResponseReceived = $e;
            });
            ...
            Assert::isInstanceOf($lastResponseReceived, ResponseReceived::class);
            $stopwatch->apiRequestResponse($lastResponseReceived);