I wrote:
> In the second place, the same hazard exists for range and
> multirange types, which can have non-hashable subtypes.
> AFAICT noplace at all is defending against that.
I meant to attach the test case I'd made to demonstrate
that this is indeed broken. It's a small variant of
your bug-hashed-saop.sql.
regards, tom lane