[GHC] #10265: HEAD fails with -DDEBUG