Re: [GHC] #11961: PatBind test suite failure with `-DDEBUG`