False positive UnusedFunctionCall with @psalm-pure annotation

[Etherlord]

With @psalm-pure https://psalm.dev/r/8b8c7787b4
Without @psalm-pure https://psalm.dev/r/f979691a2a

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/8b8c7787b4

<?php

/**
 * @psalm-pure
 */
function getException(): \Exception
{
    return new \Exception();
}

throw getException();

Psalm output (using commit ece1385):

ERROR: UnusedFunctionCall - 11:7 - The call to getexception is not used

https://psalm.dev/r/f979691a2a

<?php

function getException(): \Exception
{
    return new \Exception();
}

throw getException();

Psalm output (using commit ece1385):

No issues!

[weirdan]

Unused*Call applies to pure functions / methods only, but it shouldn't be reported in the first snippet.

[1ed]

Maybe related to #5528