Empty check should fail on undefined var

[muglug]

function foo(array $arr) : void {
    if (!empty($ar['foo'])) {
        // do something
    }
}

Expected: $ar is undefined
Actual: No issue

Replacing !empty with isset triggers the correct output.

[ondrejmirtes]

Hi, yep, I plan to do this but not in the next version - first, I need to correctly implement isset for Scope::getType(), then I need to implement loose comparison operators for Scope::getType() and then I'm able to say that empty($expr) is just !isset($expr) || $expr == false which is what the PHP documentation is saying 😊

[ondrejmirtes]

Implemented: phpstan/phpstan-src@9689fbd

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.