Re: [GHC] #12682: ASSERT failures in testsuite