Fix return type of array_reverse() with optional keys

Fix return type of array_reverse() with optional keys #16985