Turn error recovery into an assert.