jian he <jian(dot)universality(at)gmail(dot)com> writes:
> Based on my interpretation, I don't think SELECT 2::INT4 <@ '[1,
> 4)'::INT8RANGE is doable.
Yeah, it would require a considerable expansion of the scope of
what can be matched by a polymorphic operator. I'm afraid that
the negative consequences (mainly, "ambiguous operator" failures
because more than one thing can be matched) would outweigh the
benefits. It is kind of annoying though that the system can't
do the "obvious" right thing here.
regards, tom lane