warning: unneeded `return` statement with `?` operator
   --> crates/flux-refineck/src/compare_impl_item.rs:106:9
    |
106 |         return Err(infcx
    |         ^^^^^^^ help: remove it
    |
    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return_with_question_mark
    = note: `#[warn(clippy::needless_return_with_question_mark)]` on by default

warning: consider adding a `;` to the last statement for consistent formatting
    --> crates/flux-fhir-analysis/src/conv/mod.rs:1794:13
     |
1794 |             Err(self.emit(err))?
     |             ^^^^^^^^^^^^^^^^^^^^ help: add a `;` here: `Err(self.emit(err))?;`
     |
     = 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`

warning: this lifetime isn't used in the function definition
  --> crates/flux-infer/src/projections.rs:28:30
   |
28 |     fn normalize_projections<'tcx>(&self, infcx: &mut InferCtxt) -> QueryResult<Self>;
   |                              ^^^^
   |
   = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#extra_unused_lifetimes
   = note: `#[warn(clippy::extra_unused_lifetimes)]` on by default