Invalid static resolution from [class-string, 'method'] callable

[vudaltsov]

https://psalm.dev/r/fb02f07990

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/fb02f07990

<?php

abstract class Foo
{
    final private function __construct()
    {
    }
    
    public static function create(): static
    {
        return new static();
    }
}

final class Bar extends Foo {}

/**
 * @template T
 * @param callable(): T $fn
 * @return T
 */
function test(callable $fn)
{
    return $fn();
}

// should be Bar
$var = test([Bar::class, 'create']);

/** @psalm-trace $var */

Psalm output (using commit f1a8407):

INFO: MixedAssignment - 28:1 - Unable to determine the type that $var is being assigned to

INFO: Trace - 30:25 - $var: mixed

INFO: UnusedVariable - 28:1 - $var is never referenced or the value is not used

[orklah]

Seems unrelated to class-string usage. No syntax is recognized here:
https://psalm.dev/r/3fa6de4edb

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/3fa6de4edb

<?php

abstract class Foo
{
    final public function __construct()
    {
    }
    
    public static function create(): static
    {
        return new static();
    }
}

final class Bar extends Foo {}

/**
 * @template T
 * @param callable(): T $fn
 * @return T
 */
function test(callable $fn)
{
    return $fn();
}

// should be Bar
$var = test([Bar::class, 'create']);
$var = test([new Bar(), 'create']);
$var = test(['Bar', 'create']);
$var = test('Bar::create');

/** @psalm-trace $var */

Psalm output (using commit 5f4a211):

INFO: MixedAssignment - 28:1 - Unable to determine the type that $var is being assigned to

INFO: MixedAssignment - 29:1 - Unable to determine the type that $var is being assigned to

INFO: MixedAssignment - 30:1 - Unable to determine the type that $var is being assigned to

INFO: MixedAssignment - 31:1 - Unable to determine the type that $var is being assigned to

INFO: Trace - 33:25 - $var: mixed

INFO: UnusedVariable - 28:1 - $var is never referenced or the value is not used

INFO: UnusedVariable - 29:1 - $var is never referenced or the value is not used

INFO: UnusedVariable - 30:1 - $var is never referenced or the value is not used

INFO: UnusedVariable - 31:1 - $var is never referenced or the value is not used