Smart cast fails in AND-chain about kphp

[quasilyte]

Since && always returns boolean result, these lines are not always identical:

$y = $x && foo($x);

if ($x) { $y = foo($x); }

Unless foo() returns bool type, that is.

In your particular example, foo() returns int.
The first snippet will have $y=true and the second snippet will have $y=1.

[vkaverin]

Return type of the function is not the point of the issue, the point is smart cast only. But I've fixed the example to have correct types, thanks.

[vkaverin]

Basically the same as #711.