Method __callStatic() breaks asserts on 5.23

[SCIF]

https://psalm.dev/r/2a4ebd4d08

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/2a4ebd4d08

<?php

class A
{
    /** @psalm-assert non-empty-string $b */
    public static function notEmptyStrOnly(string $b): void
    {
        if ('' === $b) throw new \Exception('');
    }

    public static function __callStatic() {}
}

/** @return non-empty-string */
function returnNonEmpty(string $b): string
{
   A::notEmptyStrOnly($b);
   return $b;
}

Psalm output (using commit ef3b018):

INFO: LessSpecificReturnStatement - 18:11 - The type 'string' is more general than the declared return type 'non-empty-string' for returnNonEmpty

INFO: MoreSpecificReturnType - 14:13 - The declared return type 'non-empty-string' for returnNonEmpty is more specific than the inferred return type 'string'

[SCIF]

I assume not only asserts affected, but much more, however, I haven't checked the damaged area.

[SCIF]

Repro #10808

[SCIF]

Reverting of #10704 has helped to pass the test. @issidorov please help if you have some time. :)

[weirdan]

Fixed in #10812