new lint: variable scope that can be reduced

inspired by cppcheck

It could warn about code like this:

fn do_something(is_true: bool, word: String) -> String {
    let mut s = String::from("hello world");
    if is_true {
        s.push_str(&word);
        s
    } else {
        word
    }
}

where the scope of s can be savely reduced to span across the true branch of the if:

fn do_something(is_true: bool, word: String) -> String {
    if is_true {
      let mut s = String::from("hello world");  
      s.push_str(&word);
      s
    } else {
        word
    }
} 

No implementation file, test, or entry point is named. Start from the two Rust examples and identify the Clippy lint location and test convention for this pattern; done means the reduced-scope case is warned about while the alternative branch remains correct.