Rust: Lifetime Elision ist ohne explizite Typdeklaration zu gierig

Im nächsten Beispiel leiht sich der Abschluss den Wert länger aus, als er es tun sollte:

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

Was verursacht einen Kompilierungsfehler:

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

Wenn wir den Argumenttyp jedoch explizit deklarieren, funktioniert es wie erwartet:

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

Ich bin mir nicht sicher, ob das ein Fehler oder erwartetes Verhalten ist. Ich konnte auch keine Erklärung für diesen Effekt in der Dokumentation finden.

Meta

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