Краткий ответ

Код не скомпилируется: все значения, передаваемые через break из одного цикла, должны иметь один и тот же тип. Цикл как выражение получает этот общий тип, поэтому разные типы завершения несовместимы.

Если break используется без значения, он передаёт (). Следовательно, смешивание break без значения и break со значением также приводит к конфликту типов.

Исторический контекст

В Rust управляющие конструкции являются выражениями, поэтому результат цикла можно использовать как значение. Такой подход позволяет описывать вычисление без отдельной изменяемой переменной, например получать результат поиска непосредственно из цикла.

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

Постановка проблемы

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

Rust обнаруживает такую ошибку на этапе компиляции, а не выбирает общий тип автоматически. В частности, типы не приводятся к универсальному типу вроде Any, потому что это ослабило бы статические гарантии и потребовало бы динамической проверки.

Подробное решение

Значение после break определяет результат выражения цикла. Все break в пределах этого цикла, которые могут завершить его, должны передавать значения одного типа; тип может быть выведен из контекста или из самих выражений.

fn first_positive(values: &[i32]) -> i32 {
    let result = loop {
        for &value in values {
            if value > 0 {
                break value;
            }
        }
        break 0;
    };
    result
}

Внешний loop в примере имеет тип i32: оба его завершения передают i32. Вложенный цикл завершается только через break value, но его результат не используется как результат внешнего цикла.

break без выражения эквивалентен завершению с единичным значением (). Поэтому такой цикл имеет тип () только тогда, когда все его пути завершения согласованы с этим типом.

Если цикл не имеет достижимого break, он не завершается нормально. Его тип рассматривается как неразрешимый тип !, который может использоваться там, где ожидается другой тип, поскольку продолжение после такого цикла недостижимо. Это отличается от цикла с break: у последнего тип определяется значениями завершения.

Важно учитывать область действия: break завершает ближайший подходящий цикл, а не произвольный внешний цикл. Поэтому при вложенных циклах типы внутренних и внешних выражений выводятся независимо.

Ситуация из практики

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

Можно выбрать перечисление с вариантами «найдено» и «не найдено». Это явно моделирует оба результата, но требует объявления типа и обработки вариантов.

Практичнее, если отсутствие результата естественно выражается стандартным типом, вернуть Option<Идентификатор>, передавая через break либо Some(...), либо None. Оба значения имеют один тип, смысл результата виден из сигнатуры, а компилятор требует обработать оба состояния.

Что кандидаты часто упускают

Вопрос: Обязан ли loop иметь тип ()?

Ответ: Нет. loop — выражение, и при break со значением его типом становится тип переданного значения. Например, цикл с break 10 имеет целочисленный тип, выведенный для литерала с учётом контекста.
Вопрос: Что произойдёт, если один break передаёт (), а другой — значение типа i32?

Ответ: Возникнет ошибка несовместимости типов. Отсутствие выражения после break означает break (), поэтому Rust сравнивает () с i32 как результаты одного выражения цикла.
Вопрос: Влияет ли недостижимый break на тип цикла?

Ответ: Недостижимый путь не создаёт реально возможного результата завершения. Для вывода типов Rust учитывает достижимость с точки зрения типовой проверки и управления потоком; однако выражение всё равно должно быть корректным само по себе. Если цикл фактически не может завершиться, его результат не используется как обычное возвращаемое значение.