Fix array_flip
to preserve non-empty array type
#9651
Merged
array_flip
to preserve non-empty array type
#9651