shihao zhong <zhong950419(at)gmail(dot)com> writes:
+ * ... this is cheap enough to repeat in
+ * recursive calls.
This claim is unsubstantiated. Even if it were, I fail to understand
why it's necessary to expend any cycles whatsoever on this point.
Who cares if we don't throw that error?
regards, tom lane