которое для остального кода станет контрактом — все данные соответствуют ожидаемым, а алгоритм при них не даст UB.
А вы как, предлагаете искоренить UB и сделать язык, в котором любая программа верна?)
(сейчас где-то плачет один любитель раст)
Заставлять делать проверки на любой чих (например, перед разыменованием указателя). Но тут пострадает лаконичность и читаемость
Обсуждают сегодня