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