Tom Lane writes:
> So the idea is to remove proimplicit again? We could still do that
> before 7.3, since no user depends on it yet. Are you intending a new
> system catalog to hold casts?
Yeah, it seems I forgot to mention that.
Btw., it occurred to me that this could also be the direction to
generalize the "preferred type" games for resolving union and case
constructs. Each declared cast could carry some additional properties,
such as "possibly truncating", "possible precision loss", or simply
"preferred", which could help the system to make smarter choices (such as
not doing int4+int8=int4).
--
Peter Eisentraut peter_e(at)gmx(dot)net