Type of variable assigned in a parameter list is not preserved in following parameters

[pauci]

Bug report

When value is assigned to a variable within a parameter of a method call, it's type is not applied in context of remaining parameters.

$this->foo(
    $now = new DateTimeImmutable(),
    $now, // phpstan wrongly assumes the type is mixed here
);

There is a similar issue with assignment in arrays #12207

Code snippet that reproduces the problem

https://phpstan.org/r/59b9367b-8f29-4008-8536-91dca00362df

Expected output

There should be no issue detected.

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

PHPStan helps me every day, thank you so much!

[staabm]

a similar problem exists for coalesce in parameter list: https://phpstan.org/r/d2cb2c42-8687-413e-a38f-393f1b42f439

---

a first iteration to fix this was tried in phpstan/phpstan-src#4293, but was considered not "complete enough".

for anyone interessted in fixing the root problem, please find directions in

• Fix false positive of function.alreadyNarrowedType (function call variable assignment) phpstan-src#4237 (comment)
• Fix lost type when assigning variable in method argument phpstan-src#4293 (comment)