Re: [GHC] #13518: CMM compiles with 8.0.2, fails with git HEAD