Нарушение предварительных условий, указанных вRequires: абзаце функции, приводит к неопределенному поведению, если вThrows: абзаце функции не указано, что при нарушении предварительного условия генерируется исключение.