Неявное выведение времени жизни

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

• Каждому аргументу, у которого нет аннотации времени жизни, присваивается отдельное время жизни.
• Если есть только одно время жизни аргумента, оно присваивается всем неаннотированным заимствованиям в возвращаемом типе.
• Если аргументов с временами жизни несколько, но первый из них — self, то его время жизни присваивается всем неаннотированным заимствованиям в возвращаемом типе.

// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0

fn only_args(a: &i32, b: &i32) {
    todo!();
}

fn identity(a: &i32) -> &i32 {
    a
}

struct Foo(i32);
impl Foo {
    fn get(&self, other: &i32) -> &i32 {
        &self.0
    }
}