non-empty-array might be empty after array_keys() with filter

non-empty-array might be empty after array_keys() with filter #12867