Andrew Gierth <andrew(at)tao11(dot)riddles(dot)org(dot)uk> writes:
> I don't think this is documented but it has obvious uses.
Does it? If the named role is the same as the actual role, then it's
useless. If they're different, it seems at best confusing. In the
context of ALTER DATABASE SET, it seems both confusing and possibly
a security hazard.
regards, tom lane