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

Функция не может вернуть &str, ссылающийся на локальную String: переменная label уничтожается при выходе из make_label, поэтому возвращаемая ссылка стала бы недействительной. Rust отклоняет такой код на этапе компиляции, не допуская ссылки, которая живёт дольше владельца данных.

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

Владение и проверка времён жизни появились в Rust как способ обеспечить безопасность памяти без сборщика мусора и без требования вручную освобождать каждый ресурс. Исходная проблема — висячие указатели, use-after-free и двойное освобождение, которые возможны в языках с ручным управлением памятью.

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

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

В make_label объект String принадлежит локальной переменной label. При выходе из функции вызывается её уничтожение, включая освобождение буфера строки.

Если бы компилятор разрешил вернуть &label, вызывающий код получил бы ссылку на уже уничтоженные данные. Чтение через неё могло бы обратиться к освобождённой памяти, а последующее использование памяти — привести к неопределённому поведению.

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

Для ссылки действует ограничение: её время жизни должно быть не длиннее времени жизни заимствованного значения. В данном случае label живёт только до конца make_label, тогда как результат функции должен быть доступен после её завершения.

Аннотация времени жизни не исправила бы ситуацию. Например, запись fn make_label<'a>() -> &'a str лишь назвала бы время жизни, но не смогла бы продлить жизнь локальной String: время жизни не является механизмом управления памятью.

Если функция должна создать и вернуть строку, нужно вернуть владение, а не ссылку:

fn make_label() -> String {
    String::from("ready")
}

fn main() {
    println!("{}", make_label());
}

Здесь String перемещается из функции к вызывающему коду. Буфер остаётся действительным до уничтожения нового владельца.

Другой корректный вариант — принимать данные извне и возвращать ссылку на них, если входной владелец гарантированно живёт достаточно долго. Такой интерфейс не создаёт локальное значение, а лишь ограничивает результат временем жизни входных данных.

Возврат &'static str возможен только для данных, действительно живущих всю программу, например строкового литерала. Преобразование локальной String в 'static безопасным способом невозможно.

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

Сервис формирует диагностическую метку внутри функции и хочет вернуть её вызывающему коду. Вариант с &str экономит перемещение объекта, но невозможен: создаваемая строка локальна. Вариант с Box<str> сохраняет владение в куче, однако усложняет интерфейс и не устраняет необходимость передать владельца наружу.

Практичным решением будет вернуть String. Перемещение обычно дешевле копирования содержимого: передаётся дескриптор строки, а буфер продолжает принадлежать новому владельцу. Если метка всегда выбирается из фиксированного набора, можно вернуть &'static str, но только когда результат действительно является строковым литералом или другим статическим объектом.

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

Можно ли исправить код добавлением 'static к возвращаемому типу?

Нет. 'static требует, чтобы данные были валидны до конца программы, но локальная String уничтожается при выходе из функции. Аннотация описывает уже существующее ограничение времени жизни и не продлевает время жизни объекта.
Почему возврат String безопасен, если локальная переменная уничтожается?

При возврате String происходит перемещение значения, а не уничтожение его буфера вместе с локальным именем. Владельцем становится вызывающий код; локальная переменная больше не считается владельцем перемещённого значения. Поэтому освобождение выполняется позже, когда новый владелец выйдет из области действия.
Когда функция может вернуть заимствованный &str без создания собственного результата?

Когда ссылка указывает на данные, которыми владеет вызывающий код или другой объект с подходящим временем жизни. Например, функция может принять &str и вернуть его без изменения. В этом случае компилятор связывает время жизни результата с входным заимствованием, поэтому результат нельзя использовать после уничтожения исходной строки.