Re: inheritance, and plans

>>>>> "Tom" == Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> writes:

[domain -> base type conversion interfering with optimization]

Tom> You seem to be laboring under the delusion that this is
Tom> considered a bug.

Of course it's a bug, or at least a missing feature - there is no
justification for putting performance deathtraps in the way of using
domains.

Tom> It's a necessary semantic restriction, because the pushed-down
Tom> expression could mean different things when applied to different
Tom> data types.

How?

Type-dependent selection of operators has already been done as part of
parse analysis, no? And the domain -> base conversion is purely a
relabelling, no? So what semantic change is possible as a result?

--
Andrew (irc:RhodiumToad)