Re: [GHC] #11985: Core lint error on record syntax update/pattern synonym