I would like to have a lint like the items_after_statements lint,but which only triggers if an item defined inside an expression block is used before it's defined.

For example,it would trigger with this code:

fn hello() {
    println!("First statement");
    let hello: Bar = (0..10).collect();
    type Bar = Vec<u32>;
}

But it would not trigger with this code:

fn hello() {
    println!("First statement");
    type Bar = Vec<u32>;
    let hello: Bar = (0..10).collect();
}