Re: [GHC] #13204: Core Lint error running testsuite with DEBUG way