Teach hash_ok_operator() that record_eq is only sometimes hashable.

Tom Lane <tgl@sss.pgh.pa.us>

Commit: 17da9d4c28297fd699cbbda969a9f64c4c09c665
Author: Tom Lane <tgl@sss.pgh.pa.us>
Date: 2022-01-16T21:39:26Z
Releases: 14.2
Teach hash_ok_operator() that record_eq is only sometimes hashable.

The need for this was foreseen long ago, but when record_eq
actually became hashable (in commit 01e658fa7), we missed updating
this spot.

Per bug #17363 from Elvis Pranskevichus.  Back-patch to v14 where
the faulty commit came in.

Discussion: https://postgr.es/m/17363-f6d42fd0d726be02@postgresql.org

Files

Discussion