насколько компилятор должен оптимизировать логику проги, это тот еще вопрос). В целом, я согласен с комментом
https://habr.com/ru/post/141080/#comment_4717164, но он не покрывает задач системного программирования и проблем с эксепшенами в нем. С другой стороны, для прикладного и как обмен производительности на надежность вполне может быть, железа можно немного докинуть, а вот если код рандомно ложится, то это беда. Еще был коммент о проверках только в private методах, но private очень тесно зависит от возможностей рефлексии, в языке вообще его может не быть и выбор видимости может быть рандомен, меняться и т.п.