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

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