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: 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