Simon Peyton Jones authored Feb 28, 2023 and Marge Bot committed Mar 01, 2023

The test for naughtiness in record selectors is surprisingly subtle.
See the revised Note [Naughty record selectors] in GHC.Tc.TyCl.Utils.

Fixes #23038.