Matija Lesar <matija.lesar@gmail.com> writes:
> should not in example below array_remove return same results?
AFAICS, array_remove keeps the existing lower bound number. I don't
see anything particularly wrong with that definition.
Even if we didn't care about backwards compatibility, it would require
nontrivial effort to change it --- for example, there are several
early-exit cases that return the original array unmodified, and that would
be wrong if we were to adopt some other definition such as "force the
lower bound to 1".
regards, tom lane