Hello.
As mentioned in the following message:
https://www.postgresql.org/message-id/20190712.150527.145133646.horikyota.ntt%40gmail.com
Mutable function are allowed in check constraint expressions but
it is not right. The attached is a proposed fix for it including
regression test.
Other "constraints vs xxxx" checks do not seem to be exercised
but it would be another issue.
regards.
--
Kyotaro Horiguchi
NTT Open Source Software Center