- Output for 7.4.0 - 7.4.33, 8.0.1 - 8.0.30, 8.1.0 - 8.1.30, 8.2.0 - 8.2.24, 8.3.0 - 8.3.12
- Not redundant!
<?php
function foo(?int $foo, int $bar): void {
if (
$foo && $foo !== 1
|| !$foo && $bar
) {
return;
}
if ($foo === null) {
echo "Not redundant!";
}
}
foo(null, 0);