#[cfg_attr(feature = "cargo-clippy", allow(pedantic))]

fn main() {
    let v: Vec<i32> = Vec::new();
    println!("{}", do_something(&v));
}

fn do_something(v: &[i32]) -> i32 {
    if v.is_empty() {
        // v must not be modified in between or be immutable
        v[0] //    BOOM    <- catch this at linttime
    } else {
        124
    }
}

// similar:
// if !v.is_empty() {
//      //...
// } else {
//   v[0]
// }