"Rod Taylor" <rbt(at)zort(dot)ca> writes:
> This appears to be due to makeTypeCast() in gram.y which bypasses
> creating a TypeCast node for simple A_Const.
My immediate reaction is that you've probably put the testing of
domain constraints in the wrong place. You didn't say exactly
what your implementation looked like though ...
regards, tom lane