Why does adding a semicolon to an if let avoid a borrow checker error?

Question

I'm struggling with the borrow checker. This code fails to compile:

use std::sync::{Arc, Mutex};
use std::thread;

fn main() {
    let counter = Arc::new(Mutex::new(0));
    {
        let clone = Arc::clone(&counter);
        thread::spawn(move || {
            if let Ok(mut v) = clone.lock() {
                *v = 10;
            }
        });
    }
}

Error message:

error[E0597]: `clone` does not live long enough
  --> src/main.rs:9:32
   |
9  |             if let Ok(mut v) = clone.lock() {
   |                                ^^^^^ borrowed value does not live long enough
...
12 |         });
   |         - `clone` dropped here while still borrowed
   |
   = note: values in a scope are dropped in the opposite order they are created

If I append ; to if let, the code compiles:

use std::sync::{Arc, Mutex};
use std::thread;

fn main() {
    let counter = Arc::new(Mutex::new(0));
    {
        let clone = Arc::clone(&counter);
        thread::spawn(move || {
            if let Ok(mut v) = clone.lock() {
                *v = 10;
            };  // <= append ";"
        });
    }
}

Why does the former fail to compile? Is it correct behavior?

My environment:

rustc 1.27.0-nightly (ac3c2288f 2018-04-18)
binary: rustc
commit-hash: ac3c2288f9f9d977acb46406ba60033d65165a7b
commit-date: 2018-04-18
host: x86_64-apple-darwin
release: 1.27.0-nightly
LLVM version: 6.0