On Thu, Jun 17, 2021 at 1:14 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > The big problem in my mind, which would not be alleviated in the > slightest by having a separate file, is that it'd be easy to miss > removing entries if they ever become obsolete.
I suppose you could invent some kind of declaration syntax in a comment near the use of the pseudo-typename in the source tree that is mechanically extracted.
