I wrote:> Hm, it's definitely a bug/oversight that AlterTypeNamespace doesn't make> a similar test for that.
On closer look, there *is* such a test, but it's down insideAlterTypeNamespaceInternal.
regards, tom lane