[GHC] #12061: Allow duplicate record fields in pattern synonyms