Convert an if that never happens to an assert.