Incorrectly resolved $this return of PHPDoc defined method in mixin context

[SCIF]

https://psalm.dev/r/fc69f45670

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/fc69f45670

<?php

/**
* @method $this active()
*/
class A {
    public function __call($name, $arguments) {}
}

/**
*
* @mixin A
*/
class B {
}

$b = new B;
/** @psalm-trace $c */
$c = $b->active();

Psalm output (using commit 5617e9d):

ERROR: UndefinedMethod - 19:10 - Method B::active does not exist

INFO: MixedAssignment - 19:1 - Unable to determine the type that $c is being assigned to

INFO: Trace - 19:1 - $c: mixed

INFO: UnusedVariable - 19:1 - Variable $c is never referenced

INFO: MissingParamType - 7:28 - Parameter $name has no provided type

INFO: MissingParamType - 7:35 - Parameter $arguments has no provided type

[SCIF]

That affects phpdoc defined methods only: https://psalm.dev/r/1a255b844f

[psalm-github-bot]

I found these snippets:

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

<?php

/**
* @method $this active()
*/
class A {
    public function __call($name, $arguments) {}
    /** @return $this */
    public function b() {}
}

/**
*
* @mixin A
*/
class B {
}

$b = new B;
/** @psalm-trace $c */
$c = $b->active();
/** @psalm-trace $c */
$c = $b->b();

Psalm output (using commit 5617e9d):

ERROR: UndefinedMethod - 21:10 - Method B::active does not exist

INFO: MixedAssignment - 21:1 - Unable to determine the type that $c is being assigned to

INFO: Trace - 21:1 - $c: mixed

INFO: Trace - 23:1 - $c: B&static

INFO: UnusedVariable - 21:1 - Variable $c is never referenced

INFO: UnusedVariable - 23:1 - Variable $c is never referenced

INFO: MissingParamType - 7:28 - Parameter $name has no provided type

INFO: MissingParamType - 7:35 - Parameter $arguments has no provided type

ERROR: InvalidReturnType - 8:17 - No return statements were found for method A::b but return type 'A' was expected

[weirdan]

Fixed in #10356 . Note that the class importing the mixin should either have it's own __call() or you need to enable usePhpDocMethodsWithoutMagicCall in psalm.xml

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

[psalm-github-bot]

I found these snippets:

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

<?php

/**
* @method $this active()
*/
class A {
    public function __call(string $name, array $arguments) {}
}

/**
*
* @mixin A
*/
class B {
}

$b = new B;
$_c = $b->active();
/** @psalm-trace $_c */;

Psalm output (using commit 6b27a6d):

INFO: Trace - 19:24 - $_c: B&static