Re: [GHC] #11643: Core lint error in simplifier when compiling Rules1 with -O -prof -dcore-lint