mirror of
https://github.com/postgres/postgres.git
synced 2025-05-03 22:24:49 +03:00
This was already a runtime failure condition, but it's better to check at validation time if possible. Lightly modified version of a patch by Shigeru Hanada.