Rust: 명시적 유형 선언이 없으면 평생 생략이 너무 탐욕스럽습니다.

다음 예에서 클로저는 필요한 것보다 더 오래 값을 차용합니다:

fn main () {
    let f = |y| { println!("{}", y); };
    let x = 4u8;
    f(&x);
}

컴파일 오류가 발생하는 원인:

error: `x` does not live long enough
 --> ./test.rs:5:1
  |
4 |     f(&x);
  |        - borrow occurs here
5 | }
  | ^ `x` dropped here while still borrowed
  |
  = note: values in a scope are dropped in the opposite order they are created

그러나 인수 유형을 명시적으로 선언하면 예상대로 작동합니다.

fn main () {
    let f = |y: &u8| { println!("{}", y); };
    let x = 4u8;
    f(&x);
}

그것이 버그인지 예상되는 동작인지 확실하지 않습니다. 문서에서 이 효과에 대한 설명도 찾을 수 없습니다.

메타

rustc --version --verbose :

rustc 1.17.0-nightly (24a70eb59 2017-02-09)
binary: rustc
commit-hash: 24a70eb598a76edb0941f628a87946b40f2a1c83
commit-date: 2017-02-09
host: x86_64-unknown-linux-gnu
release: 1.17.0-nightly
LLVM version: 3.9