[sgen] Document assertion.