Здравствуйте, Павел Кузнецов, Вы писали:

>> если условие истинно всегда, то его нет смысла проверять

ПК>В отладке? Имеет.

какая еще отладка, если условие истинно "всегда"?
Хинт: если из-за бага в другом модуле произошел проход по памяти, то оно тоже всегда будет истинным?

>> assert проверяет условия, которые программист предполагает всегда истинными

ПК>И что будет делать пользователь, если программист ошибся?

задирать лапки и идти обрывать телефон. Ну, или ожесточенно писать отчет для техсаппорта. А что, есть еще варианты?