Re: [GHC] #7458: ghc panic