@psalm-return true not checked, while @psalm-return false is checked

[Ocramius]

In https://psalm.dev/r/58faa57709, psalm detects a mismatch between @psalm-return false and return true.

In https://psalm.dev/r/ddb1fce230, psalm detects a mismatch between @psalm-return true and return false.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/58faa57709

<?php
  
/** @psalm-return false */
function alwaysFalse() : bool
{
    return true;
}

Psalm output (using commit 8a1067e):

ERROR: InvalidReturnStatement - 6:12 - The inferred type 'true' does not match the declared return type 'false' for alwaysFalse

ERROR: InvalidReturnType - 3:19 - The declared return type 'false' for alwaysFalse is incorrect, got 'true'

https://psalm.dev/r/ddb1fce230

<?php
  
/** @psalm-return true */
function alwaysTrue() : bool
{
    return false;
}

Psalm output (using commit 8a1067e):

No issues!