mirror of
https://github.com/postgres/postgres.git
synced 2025-05-30 00:02:11 -04: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.