Incompatible types found for T

[VincentLanglet]

Since the last version (4.9.1), I'm getting a new error: Incompatible types found for T.
https://psalm.dev/r/a1e0f8f6f1

I saw that @muglug try to fix the issue #6066
But I don't think my case should be reported.

According to the trace, I'm passing

AdminInterface<T:AdminEventExtension as object>
FormMapper<T:AdminEventExtension as object>, which is MapperInterface<T:AdminEventExtension as object>

So it should be compatible with the ConfigureEvent::__construct

    /**
     * @param AdminInterface<T> $admin
     * @param MapperInterface<T> $mapper
     */

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/a1e0f8f6f1

<?php

/**
 * @template T of object
 */
interface AdminInterface {}

/**
 * @template T of object
 */
interface MapperInterface
{
    /**
     * @return AdminInterface<T>
     */
    public function getAdmin();
}

/**
 * @template T of object
 * @phpstan-implements MapperInterface<T>
 */
class FormMapper implements MapperInterface
{
    public function getAdmin()
    {
        throw new \Exception('TODO');
    }
}

/**
 * @template T of object
 */
class ConfigureEvent
{
    /**
     * @param AdminInterface<T> $admin
     * @param MapperInterface<T> $mapper
     */
    public function __construct(AdminInterface $admin, MapperInterface $mapper)
    {
    }
}

/**
 * @template T of object
 */
class AdminEventExtension
{
    /**
     * @param FormMapper<T> $form
     */
    public function configureFormFields(FormMapper $form): void
    {
        /** @psalm-trace $admin */
        $admin = $form->getAdmin();
        /** @psalm-trace $form */
        
        new ConfigureEvent($admin, $form);
    }
}

Psalm output (using commit 7e137f5):

INFO: Trace - 56:9 - $admin: AdminInterface<T:AdminEventExtension as object>

ERROR: InvalidArgument - 59:9 - Incompatible types found for T

INFO: Trace - 59:9 - $form: FormMapper<T:AdminEventExtension as object>

[muglug]

Simplified: https://psalm.dev/r/1a83e98791

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/1a83e98791

<?php

/**
 * @template T of object
 */
interface A {}

/**
 * @template T of object
 */
interface B {}

/**
 * @template T of object
 * @param A<T> $admin
 * @param B<T> $mapper
 */
function foo(A $admin, B $mapper): void
{}

/**
 * @param A<stdClass> $admin
 * @param B<stdClass> $mapper
 */
function configureFormFields(A $admin, B $mapper): void {
    foo($admin, $mapper);
}

Psalm output (using commit 7e137f5):

ERROR: InvalidArgument - 26:5 - Incompatible types found for T

[VincentLanglet]

Thanks for the fix @muglug.

Does a 4.9.2 will be planned @weirdan ? :)

[orklah]

It seems to affect some other repos as well: https://github.com/laminas/automatic-releases/pull/157/checks?check_run_id=3212245604

[muglug]

I've created a release for 4.9.2