Logical OR leads to TypeDoesNotContainType

[sanmai]

https://psalm.dev/r/2b0bbc6018

ERROR: TypeDoesNotContainType - 21:6 - Type ""|"0"|null for $email is always falsy

But if I split it into several ifs, Psalm gets it without issues:
https://psalm.dev/r/c8564dd6d9

You can see this works:
https://3v4l.org/era8I

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/2b0bbc6018

<?php

interface X {
	public function getStringOptional(): ?string;
}

/** @var X $x */

$url = $x->getStringOptional();
$email = $x->getStringOptional();


if (
    (empty($url) && empty($email)) ||
    (!empty($url) && !empty($email)) ||
    (!empty($email) && strpos($email, '@') == false)
) {
 	throw new \Exception();
}

if (!empty($email)) {}

Psalm output (using commit 4a35a85):

ERROR: TypeDoesNotContainType - 21:6 - Type ""|"0"|null for $email is always falsy

https://psalm.dev/r/c8564dd6d9

<?php

interface X {
	public function getStringOptional(): ?string;
}

/** @var X $x */

$url = $x->getStringOptional();
$email = $x->getStringOptional();


if (
    (empty($url) && empty($email)) 
) {
 	throw new \Exception();
}


if (
    (!empty($url) && !empty($email))
) {
 	throw new \Exception();
}

if (
    (!empty($email) && strpos($email, '@') == false)
) {
 	throw new \Exception();
}

if (!empty($email)) {}

Psalm output (using commit 4a35a85):

No issues!

[orklah]

probably related or even a duplicate of #6683

[muglug]

Yeah closing this in favour of #6683, since it has the same root cause.