[GHC] #12762: ASSERT failures on HEAD following typechecker refactoring