Invalid "evaluates to false" with generics + inheritance

[internalsystemerror]

Bug report

When checking for a child of a child interface, an invalid error is shown that the statement will always evaluate to false. This may be related to #5869 and is introduced in 1.4.6.

Code snippet that reproduces the problem

Demo: https://phpstan.org/r/23d7c262-5ae8-4fff-aa24-687f404aede0

Excerpt:

interface EntityInterface {...}
interface UpdatableInterface extends EntityInterface {...}
interface EnableableInterface extends UpdatableInterface {...}

public function extract(object $object): array
{
    ...
    if ($object instanceof EnableableInterface) {
        $data[EnableableInterface::ENABLED] = $object->isEnabled();
    }
    ...
}

public function hydrate(array $data, object $object): EntityInterface
{
    ...
    if ($object instanceof EnableableInterface) {
        $object->setEnabled($data[EnableableInterface::ENABLED]);
    }
    ...
}

gives:

53 | Instanceof between T of EntityInterface and EnableableInterface will always evaluate to false.
75 | Instanceof between T of EntityInterface and EnableableInterface will always evaluate to false.

Expected output

No error

Did PHPStan help you today? Did it make you happy in any way?

PHPStan helps me every day.

[ondrejmirtes]

Fixed: phpstan/phpstan-src@51e2df3

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.