Подсказка о маловероятной ветке стала стабильной

Стабилизирована подсказка компилятору, что ветка маловероятна. Она работает и во время компиляции.

Что делает подсказка

Она говорит компилятору: эта ветка почти никогда не выполняется. Компилятор переносит её в конец функции или выносит отдельно, чтобы она не мешала основному пути ни в предсказании переходов, ни в планировании кода.

Это одна из немногих подсказок, которые компилятор принимает буквально: без неё ветка стоит на своём месте по правилам предсказания ветвлений.

Где это полезно

Обработка ошибочных состояний, которые должны быть недостижимы. Отказоустойчивые пути, добавляемые в конце функции. Проверки, добавленные ради диагностики и не влияющие на основной ход.

Что намеренно не стабилизировано

Подсказки вероятности в обе стороны остались экспериментальными: у них были опасения по удобству использования. То есть сказать «эта ветка почти наверняка выполняется» по-прежнему нельзя.

Оригинал

Newly stable API: pub const fn cold_path();