Re: [GHC] #12947: Core lint error