### 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. ```php $this->foo( $now = new DateTimeImmutable(), $now, // phpstan wrongly assumes the type is mixed here ); ``` There is a similar issue with assignment in arrays https://github.com/phpstan/phpstan/issues/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!