Yuki

Fix incorrect type inference for @phpstan-assert-if-true on $this with union types

7

closes https://github.com/phpstan/phpstan/issues/13358 closes https://github.com/phpstan/phpstan/issues/11441 ### Summary `@phpstan-assert-if-true` on `$this` with union types produced incorrect type inference. ### Repro See added test: `tests/PHPStan/Rules/Methods/AssertIfTrueOnThisTest.php`. ### Cause Union handling for `$this` assertions wasn’t...

closes https://github.com/phpstan/phpstan/issues/10942 ・Summary Treat identical late-resolvable conditional types as compatible before resolving them. Short-circuit when the same conditional appears inside a union. Add regression test for bug #10942. ・Testing vendor/bin/phpunit...