[GHC] #13170: Core Lint error on git HEAD