Предикаты о разрывах цикла и ошибочном возврате стали константными

Предикаты, отвечающие на вопрос «это разрыв цикла» и «это ошибочный возврат», стали работать во время компиляции.

Что это даёт

Разрывы циклов и ошибочные возвраты работают как продолжения других вычислений. Если результат известен на этапе компиляции, с ними можно работать и там: выбирать ветку, вычислять размеры, собирать статические таблицы.

Отдельная связанная стабилизация — проверка того, что набор продолжений допустим. То есть вычисления, где разрывы и ошибочные возвраты смешаны, можно признать корректными на этапе компиляции.

Оригинал

stabilize const ControlFlow predicates; проверка допустимости — rust-lang/rust#152911