Add a debug_assert the newly-documented (but existing) requirement