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