Re: get rid of Pointer type, mostly

Robert Haas <robertmhaas@gmail.com> writes:
> On Mon, Nov 24, 2025 at 1:26 PM Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> I don't understand leaving it in place for GIN.

> I haven't tried removing it for GIN so I don't know how awkward that
> would be or for what reasons, but...

Well, either Peter just ran out of energy or there is actually some
notational value in Pointer.  If it's the latter, I'd like to know.

            regards, tom lane