> отлично. вот хотелось бы это самое на уровне языка

это и есть «на уровне языка». не ленимся, прописываем контракты: это полезно и наглядно. а в случае assert(), in {} и invariant {} — ещё и опционально (т.е. отключаемо в «релиз-версии» одним флагом компилятора).

ленимся? не прописываем? чем раньше такой говнокод сегфолтнется — тем лучше.