warning: unneeded `return` statement
   --> crates/flux-refineck/src/type_env.rs:896:5
    |
896 |     return Some(format!("{:?}", loc));
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
    = note: `#[warn(clippy::needless_return)]` on by default
help: remove `return`
    |
896 -     return Some(format!("{:?}", loc));
896 +     Some(format!("{:?}", loc))
    |