Turn this check into an assertion.