Fix phpstan/phpstan#13674: infer non-empty-list after isset($list[$i])

Fix phpstan/phpstan#13674: infer non-empty-list after isset($list[$i]) #219