```php function foo(array $arr) : void { if (!empty($ar['foo'])) { // do something } } ``` Expected: $ar is undefined Actual: [No issue](https://phpstan.org/r/24078a50762ad30fb8fb11925e395ee3) Replacing `!empty` with `isset` triggers the correct output.