warning: the following explicit lifetimes could be elided: 'a --> crates/flux-refineck/src/type_env.rs:891:16 | 891 | pub fn new<'a>(env: &TypeEnv<'a>) -> Self { | ^^ ^^ | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_lifetimes = note: `#[warn(clippy::needless_lifetimes)]` on by default help: elide the lifetimes | 891 - pub fn new<'a>(env: &TypeEnv<'a>) -> Self { 891 + pub fn new(env: &TypeEnv<'_>) -> Self { |

warning: consider adding a `;` to the last statement for consistent formatting --> crates/flux-infer/src/refine_tree.rs:807:21 | 807 | exprs.push(format!("{e:?}")) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: add a `;` here: `exprs.push(format!("{e:?}"));` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#semicolon_if_nothing_returned = note: requested on the command line with `-W clippy::semicolon-if-nothing-returned`