Re: inheritance, and plans

>>>>> "Tom" == Tom Lane <tgl@sss.pgh.pa.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)