Psalm don't determine type of object after instanceof with class-string<CLASS>

[vjik]

https://psalm.dev/r/7e3853aa3c

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/7e3853aa3c

<?php

class X {
    public function run(): void {
    }
}

final class Y {
    /**
     * @psalm-param class-string<X> $class
     */
    public function __construct(
        private string $class,
    ) {}
    
    public function go(object $object): void {
        if (!$object instanceof $this->class) {
            throw new Exception;
        }
		$object->run();
    }
}

Psalm output (using commit b857d0b):

INFO: MixedMethodCall - 20:12 - Cannot determine the type of $object when calling method run

[orklah]

simpler reproducer:
https://psalm.dev/r/e11cdd8900

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/e11cdd8900

<?php

final class Y {
    /**
     * @psalm-var class-string<stdClass> $class
     */
    private string $class;
    
    public function go(object $object): void {
        $a = $this->class;
        /** @psalm-trace $a */;
        if ($object instanceof $a) {
            /** @psalm-trace $object */; // doesn't works
        }
        
        $b = stdClass::class;
        /** @psalm-trace $b */;
        if ($object instanceof $b) {
            /** @psalm-trace $object */; // works
        }
    }
}

Psalm output (using commit b857d0b):

INFO: Trace - 11:31 - $a: class-string<stdClass>

INFO: Trace - 13:40 - $object: object

INFO: Trace - 17:31 - $b: stdClass::class

INFO: Trace - 19:40 - $object: stdClass

ERROR: MissingConstructor - 7:20 - Y has an uninitialized property Y::$class, but no constructor