Re: [GHC] #11728: Core lint errors