Re: [GHC] #13209: ghc panic with optimization.