Make normalize_projections take an InferCtxt #968
Merged
GitHub Actions / clippy
succeeded
Jan 6, 2025 in 0s
clippy
2 warnings
Details
Results
| Message level | Amount |
|---|---|
| Internal compiler error | 0 |
| Error | 0 |
| Warning | 2 |
| Note | 0 |
| Help | 0 |
Versions
- rustc 1.84.0-nightly (b3f75cc87 2024-11-02)
- cargo 1.84.0-nightly (031049782 2024-11-01)
- clippy 0.1.84 (b3f75cc872 2024-11-02)
Annotations
Check warning on line 106 in crates/flux-refineck/src/compare_impl_item.rs
github-actions / clippy
unneeded `return` statement with `?` operator
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
Check warning on line 28 in crates/flux-infer/src/projections.rs
github-actions / clippy
this lifetime isn't used in the function definition
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
Loading